Collected Papers

Focusing on the contributions to logic, this collection encompasses all of Alfred Tarski's published papers and abstracts from 1921 to 1979, alongside a detailed bibliography. It highlights foundational works that have significantly influenced contemporary logic in mathematics and philosophy. Key topics include the theory of truth in formalized languages, decision methods, undecidable theories, and various branches such as geometry, set theory, model theory, algebraic logic, and universal algebra, showcasing Tarski's pivotal role in these fields.