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 /
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.
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Casari, E. (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2011.
|
Edición: | 1st ed. 2011. |
Colección: | C.I.M.E. Summer Schools ;
48 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Model Theory and Applications Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975 /
Publicado: (2011) -
Recursion Theory and Computational Complexity Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979 /
Publicado: (2011) -
Teoria algebrica dei meccanismi automatici Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 20-29, 1959 /
Publicado: (2012) -
A Course in Mathematical Logic for Mathematicians
por: Manin, Yu. I.
Publicado: (2010) -
Petr Hájek on Mathematical Fuzzy Logic
Publicado: (2015)