TY  - BOOK
AU  - Tarski,Alfred
AU  - Mostowski,Andrzej
AU  - Robinson,Raphael M.
TI  - Undecidable theories
T2  - Dover books on mathematics
SN  - 9780486477039 (rústica)
AV  - QA9 T355 2010
U1  - 510.1 22
PY  - 2010///
CY  - Mineola, New York
PB  - Dover
KW  - Metamatematicas
ER  -