000 00318pam a2200133a 44500
010 _a67020006
082 _a164
_bK895E
100 _aKreisel, G.
245 1 _aELEMENTS OF MATHEMATICAL LOGIC
260 _a
_bNorth-Holland Publishing Company
_c1967
700 _aKrivine, J.L.
964 _gCIRC
997 _aK2531 C
999 _c380146
_d380146