TY  - BOOK
AU  - Tarski Alfred
TI  - Undercidable theories
T2  - Studies in logic and the foundations of mathem,atics ed by L E J Brauwer etc
U1  - R14, J33 
PY  - 1953///
KW  - PHILOSOPHY
ER  -