Tarski, Alfred, Introduction to logic and to the methodology of deductive sciences - 3 # tr. by olaf helmer - 252 páginas Subjects--Topical Terms: Matemáticas--FilosofíaAritmética--Fundamentos LC Class. No.: QA9 / T34 1965