| Record ID | harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:784066161:842 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:784066161:842?format=raw |
LEADER: 00842cam a2200253 i 4500
001 000935587-1
005 20020606090541.3
008 800418s1980 enka b 01000 eng
010 $a 80040139
015 $aGB80
020 $a0123490502
035 0 $aocm06305265
040 $aDLC$cDLC$dm.c.
245 00 $aTo H.B. Curry :$bessays on combinatory logic, lambda calculus, and formalism /$cedited by J.P. Seldin, J.R. Hindley.
260 0 $aLondon ;$aNew York :$bAcademic Press,$c1980.
300 $axxv, 606 p. :$bill. ;$c24 cm.
504 $aBibliography: p. [xiii]-xx.
600 10 $aCurry, Haskell B.$q(Haskell Brooks),$d1900-1982.
650 0 $aLogic, Symbolic and mathematical.
700 1 $aCurry, Haskell B.$q(Haskell Brooks),$d1900-1982.
700 1 $aHindley, J. Roger.
700 1 $aSeldin, J. P.
988 $a20020608
906 $0DLC