First order categorical logic : model-theoretical methods in the theory of topoi and related categories /
Autores principales: | , |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1964-.
|
Materias: |
Notas: | En Lecture notes in mathematics. Berlin. v. 611 (1977) |
---|---|
Descripción Física: | viii, 301 páginas : ilustraciones ; 24 cm |
ISBN: | 3540084398 |