Introduction to logic and to the methodology of the deductive sciencesTarski, Alfred. · First published 1994Open the Tome
Logique, sémantique, métamathématique, 1923-1944Tarski, Alfred. · First published 1972Open the Tome
Introduction to logic and to the methodology of deductive sciencesAlfred Tarski · First published 1941 · Latest edition 1954Open the Tome
A decision method for elementary algebra and geometryTarski, Alfred. · First published 1948Open the Tome
O logice matematycznej i metodzie dedukcyjnejTarski, Alfred. · First published 1936 · Latest edition 1941Open the Tome