Collected Papers

Focusing on the groundbreaking contributions to logic, this comprehensive collection assembles all published papers and abstracts by Alfred Tarski, a pivotal figure alongside Kurt Gödel. Spanning from 1921 to 1979, the four volumes cover essential topics that form the foundation of modern logic, including the theory of truth in formalized languages, decision methods, undecidable theories, and various branches such as geometry, set theory, and algebraic logic. A thorough bibliography complements this extensive compilation, highlighting Tarski's influence in mathematics and philosophy.