| Record ID | marc_loc_updates/v36.i38.records.utf8:12146387:920 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i38.records.utf8:12146387:920?format=raw |
LEADER: 00920cam a22002654a 4500
001 2008006276
003 DLC
005 20080919104311.0
008 080208s2008 enka b 001 0 eng
010 $a 2008006276
020 $a9780521898850 (hardback)
020 $a0521898854 (hardback)
035 $a(OCoLC)ocn192045757
035 $a(OCoLC)192045757$z(OCoLC)191891583
040 $aDLC$cDLC$dBAKER$dYDXCP$dBTCTA$dBWKUK$dBWK$dBWX$dCDX$dDLC
050 00 $aQA9.5$b.H565 2008
082 00 $a511.3/5$222
100 1 $aHindley, J. Roger.
245 10 $aLambda-calculus and combinators, an introduction /$cJ. Roger Hindley, Jonathan P. Seldin.
260 $aCambridge, UK ;$aNew York :$bCambridge University Press,$cc2008.
300 $axi, 345 p. :$bill. ;$c24 cm.
504 $aIncludes bibliographical references (p. 323-333) and index.
650 0 $aLambda calculus.
650 0 $aCombinatory logic.
700 1 $aSeldin, J. P.