TY  - BOOK
AU  - Tarski Alfred
TI  - Undecidable theories
T2  - Studies in Logic and the Foundations of Mathematics. Ed by L E J Brouwer etc
U1  - R14, J3 
PY  - 1953///
CY  - Amsterdam
PB  - North Holland Netherland        
KW  - Philosophy-Symbolic Logic
N1  - Bibliography: P 89-91
ER  -