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
Description
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.
Keywords
MathematicsLogicHistory & Philosophy
2010Book
Author(s)E. Casari
PublisherSpringer Berlin Heidelberg
ISBN9783642110788
LanguageEnglish
