LEADER 01963nam0 2200349 i 450 
001 VAN0055634
005 20240126100254.660
010   $a978-05-213-1839-6
100   $a20061109d1993       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aIntroduction to combinators and$bthe lambda]-calculus$fJ. Roger Hindley, Jonathan P. Seldin
210   $aCambridge$cCambridge university$d1993
215   $a360 p.$cill.$d24 cm
410  1$1001VAN0024217$12001 $aLondon Mathematical Society student texts$1210  $aCambridge$cCambridge university$v1
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a03B40$xCombinatory logic and lambda-calculus [MSC 2020]$3VANC024414$2MF
620   $dCambridge$3VANL000024
700  1$aHindley$bJames R.$3VANV044116$0725896
701  1$aSeldin$bJonathan Paul$3VANV044117$054730
712   $aCambridge university <editore>$3VANV107986$4650
790  1$aHindley, James Roger$zHindley, James R.$3VANV064008
790  1$aHindley, J. R.$zHindley, James R.$3VANV064010
790  1$aHindley, J.R.$zHindley, James R.$3VANV212266
801   $aIT$bSOL$c20240202$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$zhttps://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   $aVAN0055634
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1894        $e08   1998      I b     20061109            
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1894        $e08   1201      I a     20061109            
996   $aIntroduction to combinators and$93870274
997   $aUNICAMPANIA