01578nam0-2200433---450 99000560308020331620211215123623.0000560308USA01000560308(ALEPH)000560308USA0100056030819981214d1975----|||y0itaa50------baitait0 00|||Introduzione alla logica combinatoriaJ. R. Hindley, Bruce Lercher, J. P. Seldin[trad. di Ferdinando Azzarello]TorinoBoringhieri1975153 p.21 cmTesti e manuali della scienza contemporanea. Serie di logica matematicadiretta da Corrado MangioneTrad. di: Introduction to combinatory logic2001Testi e manuali della scienza contemporanea. Serie di logica matematica001SA00069952001Introduction to combinatory logicJ. R. Hindley, Bruce Lercher, J. P. Seldin.50411Logica combinatoriaFTORINO511.3HINDLEY,J. Roger46028LERCHER,Bruce47739SELDIN,Jonathan Paul54730AZZARELLO,FerdinandoITSA20111219990005603080203316Dipar.to di Filosofia - SalernoDFF.V. HIN (300)2209 FILXV.17. 238 (F.V. HIN) (300)2209 FILXV.17462381BKFVER20121027USA01152520121027USA011614Introduction to combinatory logic50411UNISA