01565nam 2200421 450 00000903220050718115300.020011204d1975----km-y0itay0103----baitaITIntroduzione alla logica combinatoriaJ. R. Hindley, Bruce Lercher, J. P. Seldin[Traduzione di Ferdinando Azzarello]TorinoBoringhieri1975153 p.21 cmTesti e manuali della scienza contemporaneaSerie di logica matematicaTit. orig. : Introduction to combinatory logicLogica matematica511.3(20. ed.)Logica matematica (Logica simbolica)Hindley,James Roger46028Seldin,Jonathan Paul54730Lercher,Bruce47739Azzarello,FerdinandoITUniversità della Basilicata - B.I.A.RICAunimarc000009032Introduction to combinatory logic50411UNIBASMONSCIMONOGRSCIENZESTD0040120011204BAS011019TORRE2020011210BAS011102TORRE2020011210BAS01110220050601BAS011754batch0120050718BAS01105020050718BAS01110920050718BAS01113920050718BAS011153BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoDIDDidatticaPTS.s3.p28.2954736S547362001120404Prestabile Didattica