00949nam0-22003131i-450-99000120344040332120080526125908.0000120344FED01000120344(Aleph)000120344FED0100012034420001205d1984----km-y0itay50------baengNLy-------001yyLogic colloquium '82proceedings of the colloquium held in Florence23-28 August, 1982edited by G. Lolli, G. Longo, and A. MarcjaAmsterdam [etc.]North-Holland1984Studies in logic and the foundations of mathematics112Lolli,GabrieleLongo,Giuseppe O.Marcja,AnnalisaITUNINARICAUNIMARCBK990001203440403321C-30-(112816MA1MA103-06Logic colloquium '82343559UNINA