Lectures on infinitary model theory /
"Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of ma...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | Marker, D. (David), 1958- (Autor) |
Autor Corporativo: | Association for Symbolic Logic |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cambridge, United Kingdom ; New York, NY, USA :
Cambridge University Press,
[2016]
|
Colección: | Lecture notes in logic ;
46. |
Temas: | |
Acceso en línea: | Texto completo |
Ejemplares similares
-
Large infinitary languages : model theory /
por: Dickmann, M. A., 1940-
Publicado: (1975) -
Languages with expressions of infinite length /
Publicado: (1964) -
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
por: Keisler, H. Jerome
Publicado: (1971) -
Realizability : an Introduction to its Categorical Side.
por: Van Oosten, Jaap
Publicado: (2008) -
Institution-independent model theory /
por: Diaconescu, Răzvan
Publicado: (2008)