Collected Papers

Alfred Tarski's contributions to logic are comprehensively compiled in this four-volume collection, featuring all his published papers and abstracts from 1921 to 1979. This collection serves as a cornerstone for modern logic in mathematics and philosophy, covering pivotal topics such as the theory of truth in formal languages, decision methods, undecidable theories, and foundational aspects of geometry and set theory. It also explores algebraic logic and universal algebra, showcasing Tarski's lasting impact on the field.