TY  - BOOK
AU  - Tarski Alfred
AU  - Mostowski Andrej
AU  - Robinson R M
TI  - Undecidable theories
U1  - 511.3 
PY  - 1953///
CY  - Amsterdam
PB  - North Holland
KW  - Mathematical logic
ER  -