Aspects of Mathematical Logic
Casari, E.
Aspects of Mathematical Logic [recurso electrónico] / edited by E. Casari. - 285p. online resource. - C.I.M.E. Summer Schools ; 48 . - C.I.M.E. Summer Schools ; 48 .
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.
9783642110801
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
Aspects of Mathematical Logic [recurso electrónico] / edited by E. Casari. - 285p. online resource. - C.I.M.E. Summer Schools ; 48 . - C.I.M.E. Summer Schools ; 48 .
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.
9783642110801
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3