TY  - BOOK
AU  - Tarski,Alfred
TI  - Introduction to logic and to the methodology of deductive sciences
SN  - 9780486284620
AV  - QA9  .T37 1995
PY  - 1995///
CY  - New York
PB  - Dover Publications
KW  - Mathematics
KW  - Philosophy
KW  - Arithmetic
KW  - Foundations
ER  -