Models, algebras, and proofs : selected papers of the 10. Latin American Symposium on Mathematical Logic held in Bogotá / edited by Xavier Caicedo, Carlos H. Montenegro

• Record Nr.: UNIBAS000015814
• Autore: Latin American symposium on mathematical logic : <10. : ; 1996
• Pubbl/distr/stampa: New York [etc.] : Marcel Dekker, c1999
• ISBN: 0-8247-1970-0
• Descrizione fisica: XIII, 448 p. ; 26 cm.
• Collana: Lecture notes in pure and applied mathematics ; 203
• Disciplina: 511.3
• Soggetti: Logica matematica - Congressi
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia