TARSKI, Alfred Introduction to logic and to the methodology of deductive sciences - New York Dover 1995 - xvi, 239p. ISBN: 9780486284620 Subjects--Topical Terms: Arithmetic--Foundations 2.Mathematics--Philosophy Dewey Class. No.: 510.1 / TAR-I