Mathematical Logic and Its Applications / edited by Dimiter G. Skordev

• Pubblicazione: New York, : Plenum, 1987
• Descrizione fisica: xiv, 371 p. : ill. ; 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: Algorithms; Cut-elimination theorem; Logic; Mathematical logic; Predicate logic; Proofs; Type theory
• Persona (resp. second.): Skordev, Dimiter G.
• Titolo autorizzato: Mathematical Logic and Its Applications
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00268959
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-1-4613-0897-3