Logic colloquium '82 : proceedings of the colloquium held in Florence : 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja

• Record Nr.: UNINA990001203440403321
• Pubbl/distr/stampa: Amsterdam [etc.] : North-Holland, 1984
• Collana: Studies in logic and the foundations of mathematics ; 112
• Locazione: MA1
• Collocazione: C-30-(112
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia