Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 / edited by Carlos Augusto Prisco

• Pubblicazione: Berlin, : Springer, 1985
• Descrizione fisica: x, 410 p. ; 24 cm
• Soggetto topico: 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]; 03-XX - Mathematical logic and foundations [MSC 2020]
• Soggetto non controllato: Logic; Mathematical logic; Model theory; Proofs; Ultraproducts
• Persona (resp. second.): Di Prisco, Carlos Augusto
• Titolo autorizzato: Methods in mathematical logic
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00263548
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/BFb0075303