Aspects of Mathematical Logic [electronic resource] /edited by E. Casari.
by Casari, E [editor.]; SpringerLink (Online service).
Material type:
BookSeries: C.I.M.E. Summer Schools: 48Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: 285p. online resource.ISBN: 9783642110801.Subject(s): Mathematics | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and FoundationsDDC classification: 511.3 Online resources: Click here to access online
Contents:
In:
Springer eBooksSummary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA8.9-10.3 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA8.9-10.3 Recursion Theory and Computational Complexity | QA329-329.9 Pseudo-differential Operators | QA273.A1-274.9 Stochastic Differential Equations | QA8.9-10.3 Aspects of Mathematical Logic | QA404.7-405 Potential Theory | QA564-609 Algebraic Surfaces | QA370-380 Non-linear Continuum Theories in Mechanics and Physics and their Applications |
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.
There are no comments for this item.