TY  - BOOK
AU  - Kreisel,Georg
AU  - Krivine,Jean Louis
TI  - Elements of mathematical logic: (Model theory) 
T2  - Studies in logic and the foundations of mathematics / Ed.: A. Heyting a.o
SN  - 07204 2265 5
PY  - 1971///
CY  - Amsterdam
PB  - North-Holland Publ. Co.
KW  - Logic, Symbolic and mathematical
ER  -