TY  - BOOK
AU  - Lawvere F W
AU  - Maurer CWraith G C
TI  - Model theory and topoi
SN  - 3-540-07164-4
U1  - 511.8 
PY  - 1975///
CY  - Berlin
PB  - Springer-Verlag
KW  - Mathematical models
KW  - Toposes
ER  -