Aspects of Mathematical Logic

• Corporate Author: SpringerLink (Online service)
• Other Authors: Casari, E. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Series: C.I.M.E. Summer Schools ; 48
• Subjects: 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.

Table of Contents:

• 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.