Mathematical Logic and Model Theory A Brief Introduction /

• Κύριοι συγγραφείς: Prestel, Alexander (Συγγραφέας), Delzell, Charles N. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2011.
• Σειρά: Universitext,
• Θέματα: Mathematics.; Mathematical logic.; Mathematics, general.; Mathematical Logic and Formal Languages.

Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It presents, in a self-contained manner, the essential aspects of model theory needed to understand model theoretic algebra. As a profound applic...

Πίνακας περιεχομένων:

• First-Order Logic
• Model Constructions
• Properties of Model Classes
• Model Theory of Several Algebraic Theories.