TY  - BOOK
AU  - Lawvere,F.William
AU  - Maurer,Christian
AU  - Wraith,Gavin C.
ED  - SpringerLink (Online service)
TI  - Model Theory and Topoi: A Collection of Lectures by Various Authors 
T2  - Lecture Notes in Mathematics,
SN  - 9783540374954
AV  - QA1-939 
U1  - 510 23
PY  - 1975///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Mathematics
KW  - Mathematics, general
N1  - to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi
UR  - http://dx.doi.org/10.1007/BFb0061290
ER  -