Aspects of Mathematical Logic 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 için kapak resmi
Aspects of Mathematical Logic 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
Başlık:
Aspects of Mathematical Logic 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
ISBN:
9783642110801
Edition:
1st ed. 2011.
Yayın Bilgileri:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Fiziksel Tanımlama:
285 p. online resource.
Series:
C.I.M.E. Summer Schools ; 48
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.
Abstract:
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.
Added Author:
Dil:
English