01346nam a2200289Ia 4500001001500000003000800015005001700023006001900040007000700059008004100066020003200107040002100139100002900160245009400189260004000283300002000323490004300343504006100386505028500447530003400732538003300766650002000799655002500819776001500844830004400859856015300903CAH0KE10022PDFFlBoTFG20171224123648.0m|||||o||d||||||||cr||||110928s2012    flua    sb    001 0 eng d  a9781439800010 (ebook : PDF)  aFlBoTFGcFlBoTFG1 aBimb�o, Katalin,d1963  aCombinatory logich[electronic resource] :bpure, applied and typed /cKatalin Bimb��  aBoca Raton :bTaylor & Francis,c20  axi, 345 p. :bi  aDiscrete mathematics and its applicati  aIncludes bibliographical references (p. 321-330) and ind  a1. Elements of combinatory logic -- 2. Main theorems -- 3. Recursive functions and arithmetic -- 4. Connections to ?-calculi -- 5. (In)equational combinatory logic -- 6. Models -- 7. Dual and symmetric combinatory logics -- 8. Applied combinatory logic -- 9. Typed combinatory log  aAlso available in print editi  aMode of access: World Wide W  aCombinatory log  aElectronic books.2l  z9781439800  aDiscrete mathematics and its applicatio  uhttp://marc.crcnetbase.com/isbn/9781439800010qapplication/PDFzDistributed by publisher. Purchase or institutional license may be required for acce