Aspects of Mathematical Logic [electronic resource] : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968 /
C.I.M.E. Summer School(1968 :Varenna-Como, Italy)
Centro internazionale matematico estivo.
Casari, E.editor.
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.
"Reprint of the 1st ed. C.I.M.E., Ed. Cremonese, Roma, 1969 ; with kind permission of C.I.M.E."
Includes bibliographical references.
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.
Mathematical logic.
Mathematical Logic and Foundations.