Alfred Tarski
24 works on record
Works
Undecidable theories
The axiomatic method
Collected Papers : Volume 3
Collected Papers : Volume 1
Collected Papers : Volume 2
Collected Papers : Volume 4
Collected Papers
Einführung in die Mathematische Logik
Introduction à la logique
Logic, semantics, and metamathematics
Ordinal algebras
Undecidabel theories
Cardinal algebras
Introduction to logic and to the methodology of deductive sciences
A formalization of set theory without variables
Introduction to Logic
Theory of Models
Alfred Tarski. Collected Papers Volume 4 1958-1979
Cardinal algebras : With an appendix
Introduction To Logic and to the Methodolgy of Deductive Sciences
Introduction to Logic and to the Methodology of Deductive Sciences -- Second Edition
Decision Method for Elementary Algebra and Geometry
邏輯槪論題解
Über den Begriff der logischen Folgerung