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 -