TY  - BOOK
AU  - Tarski,Alfred
AU  - Mostowski,Andrzej
AU  - Robinson,Raphael M.
TI  - Undecidable theories
T2  - Studies in logic and the foundations of mathematics
AV  - QA9 .T33 1968
U1  - 164 
PY  - 1968///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Gödel's theorem
KW  - Local
N1  - Bibliography: p. 89-91
ER  -