First Order Categorical Logic
| Autor: | Makkai, M. Reyes, G.E. |
|---|---|
| ISBN: | 9783540084396 |
| Sprache: | Englisch |
| Seitenzahl: | 318 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 01.09.1977 |
| Untertitel: | Model-Theoretical Methods in the Theory of Topoi and Related Categories |
| Schlagworte: | Kategorie (Math.) Mathematische Logik Morphism Topos (Math.) category theory mathematical logic theorem |