01317nam--2200385---450-99000167043020331620050613162647.0000167043USA01000167043(ALEPH)000167043USA0100016704320040517d1975----km-y0itay0103----baitaIT||||||||001yyIntroduzione alla logica combinatoriaJ. R. Hindley, Bruce Lercher, J. P. SeldinTorinoBoringhieri1975153 p.24 cmTesti e manuali della scienza contemporaneaSerie di logica matematica2001Testi e manuali della scienza contemporaneaSerie di logica matematica2001Introduction to combinatory logic23432001-------2001HINDLEY,J. R.561899LERCHER,Bruce47739SELDIN,J. P.54730ITsalbcISBD990001670430203316II.6. Coll.2/ 2a(IV C coll.211/4)76699 L.M.IV C coll.II.6. Coll.2/ 2(IV C coll.211/2)67733 LMIV CBKUMASIAV31020040517USA011702COPAT59020050613USA011626Introduction to combinatory logic23432UNISA