00948nam0-22003131i-450-99000132803040332120100519140625.00-8218-5110-1000132803FED01000132803(Aleph)000132803FED0100013280320001205d1990----km-y0itay50------baengLogic and ComputationProceedings of a Workshop held at Carnegie Mellon University, June 30-July 2, 1987editor Wilfried SiegProvidenceAmerican Mathematical Societyc1990ix, 297 p.24 cmContemporary mathematics106LogicaElaborazione dati - congressi511.3Sieg,WilfriedITUNINARICAUNIMARCBK990001328030403321C-1-(1067817MA1MA103-06Logic and Computation376364UNINA