Alfred Tarski
Top View
- Introduction. the School: Its Genesis, Development and Significance
- A Coq-Based Implementation of Tarski's Mereogeometry
- Tarski and Primitivism About Truth
- On the History of Polish Logic
- Alfred Tarski Papers, Circa 1923-1985
- Alfred Tarski. Life and Logic Reviewed by Hourya Benis Sinaceur
- VU Research Portal
- Tarski's Practice and Philosophy: Between Formalism and Pragmatism
- Common Sense for Concurrency and Inconsistency Tolerance Using Direct Logictm
- Gödel's Theorems, the Unreality of Time, and Gödel's
- Alfred Tarski Updated by Karl Frinkle © Draft Date December 31, 2017
- Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski
- The Laws of Thought and Thinking Machines
- Proceedings of the Tarski Symposium *
- John Von Neumann and Hilbert's School of Foundations of Mathematics∗
- Urszula Wybraniec-Skardowska Alfred Tarski - the Man Who Defined Truth
- Logic in Poland Atfer 1945 (Until 1975)
- A Semantic Conception of Truth Jonathan Lumpkin University of New Orleans