عنوان
پدید آورنده
موضوع
رده
QA 9.7 .M3 1977
QA
9
.
7
.
M3
1977
کتابخانه
محل استقرار
36854
Makkai, Michael
9391-
First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Berlin
Springer-Verlag
1977
viii, 301 p.: ill. ; 25 cm.
Lecture notes in mathematics; 116
Includes bibliographical references )p. ]298[-301(
Michael Makkai, Gonzalo Reyes
، Model theory
، Categories )Mathematics(
، Toposes
510/
.
8
s
512/
.
55
QA
9
.
7
.
M3
1977
AU
AU E olaznoG ,seyeR 1937-
TI
SE
یاضه ریه دانشکدانابخکت
