LEADER 01767nam0 2200337 i 450 
001 SUN0055634
005 20180509091928.789
010   $a978-05-213-1839-6$d0.00
100   $a20061109d1993       |0engc50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aIntroduction to combinators and [the lambda]-calculus$fJ. Roger Hindley, Jonathan P. Seldin
210   $aCambridge$cCambridge university$d1993
215   $a360 p.$cill.$d24 cm.
410  1$1001SUN0024217$12001 $aLondon Mathematical Society student texts$v1$1210  $aCambridge$cCambridge university.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03B40$xCombinatory logic and lambda-calculus [MSC 2020]$2MF$3SUNC024414
620   $dCambridge$3SUNL000024
700  1$aHindley$b, James R.$3SUNV044116$0725896
701  1$aSeldin$b, Jonathan Paul$3SUNV044117$054730
712   $aCambridge university$3SUNV000097$4650
790  1$aHindley, James Roger$zHindley, James R.$3SUNV064008
790  1$aHindley, J. R.$zHindley, James R.$3SUNV064010
801   $aIT$bSOL$c20200720$gRICA
856 4 $uhttps://books.google.it/books?id=0DA4AAAAIAAJ&printsec=frontcover&dq=editions:HPsjt9oI3XwC&hl=it&sa=X&ved=0ahUKEwjg9cafi_jaAhVBnxQKHfCZC_cQuwUILTAA#v=onepage&q&f=false
912   $aSUN0055634
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1894        $e08   1998      I b     20061109            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1894        $e08   1201      I a     20061109            
996   $aIntroduction to combinators and -calculus$91424757
997   $aUNICAMPANIA