Cargando…
Model theory and topoi: a collection of lectures by various authors
Autores principales: | Lawvere, F, Maurer, Christian, Wraith, Gavin |
---|---|
Lenguaje: | eng |
Publicado: |
Springer
1975
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.1007/BFb0061290 http://cds.cern.ch/record/2008024 |
Ejemplares similares
-
Forcing and classifying topoi
por: Scedrov, Andrej
Publicado: (1984) -
Classifying spaces and classifying topoi
por: Moerdijk, Izak
Publicado: (1995) -
First order categorical logic: model-theoretical methods in the theory of Topoi and related categories
por: Makkai, Michael, et al.
Publicado: (1977) -
Categories in Continuum Physics : Lectures given at a Workshop at SUNY
por: Lawvere, F William, et al.
Publicado: (1986) -
Connections between Category Theory and Algebraic Geometry & Intuitionistic Logic
por: Lawvere, F
Publicado: (1972)