Cargando…
Model-theoretic logics
This book brings together several directions of work in model theory between the late 1950s and early 1980s.
Autores principales: | Barwise, J, Feferman, S |
---|---|
Lenguaje: | eng |
Publicado: |
Cambridge University Press
2017
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2269591 |
Ejemplares similares
-
In the light of logic
por: Feferman, Solomon
Publicado: (1999) -
Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies
por: Buchholz, Wilfried, et al.
Publicado: (1981) -
Independence-Friendly Logic: A Game-Theoretic Approach
por: Mann, Allen L, et al.
Publicado: (2011) -
First order categorical logic: model-theoretical methods in the theory of Topoi and related categories
por: Makkai, Michael, et al.
Publicado: (1977) -
Graph structure and monadic second-order logic: a language-theoretic approach
por: Courcelle, Bruno, et al.
Publicado: (2012)