First order categorial logic: model-theoretical methods in theory of topoi and related categories
Gardado en:
| Main Authors: | , |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlín
Sringer-Verlag
1977
|
| Series: | Lecture Notes in Mathematics, 611
|
| Subjects: | |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Sexa o primeiro en deixar un comentario!