01767nam0 2200337 i 450 SUN005563420180509091928.789978-05-213-1839-60.0020061109d1993 |0engc50 baengGB|||| |||||Introduction to combinators and [the lambda]-calculusJ. Roger Hindley, Jonathan P. SeldinCambridgeCambridge university1993360 p.ill.24 cm.001SUN00242172001 London Mathematical Society student texts1210 CambridgeCambridge university.03-XXMathematical logic and foundations [MSC 2020]MFSUNC01975003B40Combinatory logic and lambda-calculus [MSC 2020]MFSUNC024414CambridgeSUNL000024Hindley, James R.SUNV044116725896Seldin, Jonathan PaulSUNV04411754730Cambridge universitySUNV000097650Hindley, James RogerHindley, James R.SUNV064008Hindley, J. R.Hindley, James R.SUNV064010ITSOL20200720RICAhttps://books.google.it/books?id=0DA4AAAAIAAJ&printsec=frontcover&dq=editions:HPsjt9oI3XwC&hl=it&sa=X&ved=0ahUKEwjg9cafi_jaAhVBnxQKHfCZC_cQuwUILTAA#v=onepage&q&f=falseSUN0055634UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1894 08 1998 I b 20061109 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1894 08 1201 I a 20061109 Introduction to combinators and -calculus1424757UNICAMPANIA