TY  - BOOK
AU  - Kreisel G
AU  -  Krivine J L
TI  - Elements of mathematical logic  :  Model theory
T2  - Studies in logic and the foundations of mathematics ed by A Heyting
U1  - R14, K7 
PY  - 1967///
KW  - PHILOSOPHY
ER  -