Aspects of Mathematical Logic

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Casari, E. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: C.I.M.E. Summer Schools ; 48
• Θέματα: Mathematics.; Mathematical logic.; Mathematical Logic and Foundations.

H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.

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

• H. Hermes: Basic notions and applications of the theory of decidability
• D. Kurepa: On several continuum hypotheses
• A. Mostowski: Models of set theory
• A. Robinson: Problems and methods of model theory
• S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.