TY  - BOOK
AU  - Kreisel, G.
AU  - Krivine, J.L.
TI  - ELEMENTS OF MATHEMATICAL LOGIC
U1  - 164 
PY  - 1967///
CY  - 
PB  - North-Holland Publishing Company
ER  -