| Record ID | harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:820151121:863 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:820151121:863?format=raw |
LEADER: 00863cam a2200289uu 4500
001 000973632-8
005 20020606090541.3
008 820607s1980 ne a b 00110 eng
010 $a 81172011
015 $aNe***
020 $a9061962005 (pbk.)
035 0 $aocm07436902
040 $aDLC$cDLC
100 1 $aKlop, J. W.
245 10 $aCombinatory reduction systems /$cJ.W. Klop.
260 0 $aAmsterdam :$bMathematisch Centrum,$c1980.
300 $axiii, 317 p. :$bill. ;$c24 cm.
440 0 $aMathematical Centre tracts ;$v127
500 $aIncludes index.
502 $aThesis (Ph.D.)--State University of Utrecht.
504 $aBibliography: p. 298-303.
650 0 $aLambda calculus.
650 0 $aCombinatory logic.
650 0 $aRecursive programming.
710 2 $aMathematisch Centrum (Amsterdam, Netherlands).
988 $a20020608
906 $0DLC