Aspects of Mathematical Logic [recurso electrónico] / edited by E. Casari.
Tipo de material:
TextoSeries C.I.M.E. Summer Schools ; 48Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: 285p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642110801Tema(s): Mathematics | Logic, Symbolic and mathematical | Mathematics | Mathematical Logic and FoundationsFormatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 511.3 Clasificación LoC:QA8.9-10.3Recursos en línea: Libro electrónico
Contenidos:
En: Springer eBooksResumen: 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.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | QA8.9 -10.3 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 373931-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| QA8.9 -10.3 Reading, Writing, and Proving | QA8.9 -10.3 Ernst Zermelo - Collected Works/Gesammelte Werke | QA8.9 -10.3 Recursion Theory and Computational Complexity | QA8.9 -10.3 Aspects of Mathematical Logic | QA8.9 -10.3 Model Theory and Applications | QA8.9 -10.3 Hyperfinite Dirichlet Forms and Stochastic Processes | QA8.9 -10.3 Logica: Metodo Breve |
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.
19
