Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton

• Autore: Lightstone, Albert H.
• Pubblicazione: New York, : Plenum, 1978
• Descrizione fisica: xiii, 338 p. : ill. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03H05 - Nonstandard models in mathematics [MSC 2020]; 03B05 - Classical propositional logic [MSC 2020]; 03Cxx - Model theory [MSC 2020]; 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020]; 03C35 - Categoricity and completeness of theories [MSC 2020]; 03B10 - Classical first-order logic [MSC 2020]
• Soggetto non controllato: Calculus; Forms; Language; Logic; Mathematica; Mathematical logic; Natural; Proofs; Proposition; Set Theory; Variables
• Titolo autorizzato: Mathematical Logic
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0268201
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: https://doi.org/10.1007/978-1-4615-8750-7
• Serie: Mathematical Concepts and Methods in Science and Engineering New York . -Plenum ; [poi] Springer ; 9