First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories HDM2MQZ9QE
| URI | m2://res/HDM2MQZ9QE |
|---|---|
| Kind | monograph |
| Creators | Michael Makkai, Gonzalo E. Reyes |
| Date | 1977 |
| MSC | 18A15, 03F55, 03C99, 03G25, 14F20, 03C75, 18F10, 18F20 |
| Scope | in |
Expressions
e1: edition
| Language | en |
|---|---|
| Date | 1977 |
| Ids | DOI 10.1007/bfb0066201, zbl 0357.18002, zbl_id 3556299 |
- m1: print, Springer Berlin Heidelberg, 1977 (record). isbn 9783540084396, isbn 9783540371007
Relations
- part_of Lecture Notes in Mathematics
Cited by
- Logic Year 1979–80: The University of Connecticut, USA
- Methods in Mathematical Logic
- Applications of Sheaves
- Applications of Sheaves
- Applications of Sheaves
- Applications of Sheaves
Catalogue records
- springer-series: 10.1007/bfb0066201 (work)
- zbmath_search: 3556299 (work)