Alfred Tarski

• Undecidable theories
• Introduction to logic and to the methodology of deductive sciences
• Collected Papers
• Collected Papers : Volume 1
• Collected Papers : Volume 2
• Collected Papers : Volume 3
• Collected Papers : Volume 4
• Einführung in die Mathematische Logik
• The axiomatic method
• A formalization of set theory without variables
• A formalization of set theory without variables
• Alfred Tarski. Collected Papers Volume 4 1958-1979