Collected Papers

Focusing on the contributions of Alfred Tarski, this comprehensive collection encompasses all his published papers and abstracts from 1921 to 1979, serving as a cornerstone for modern logic in mathematics and philosophy. It explores significant topics such as the theory of truth in formalized languages, decision methods, undecidable theories, foundations of geometry, set theory, model theory, algebraic logic, and universal algebra. This extensive bibliography highlights Tarski's pivotal role in the evolution of logical thought during the twentieth century.