4130
Makkai, Michael
9391-
First order categorical logic: model-theorical methods in the theory of topoi and related categories
Berlin; New York
Springer-Verlag
1977
viii, 301p.:ill
Lecture notes in mathematics; 116
Bibliography: p. ]298[-301
]by[ Michael Makkai, ]and[ Gonzalo Reyes
، Model theory
، Categories )Mathematics(
، Toposes
QA
3
.
L28
no
.
611
AU
AU Reys, Gonzalo 1937- joint author
TI
SE
CL
