Tarski, Alfred, Logique, Sémantique, Métamathématique (1972) Tarski, Alfred, Project Proposal (1972) Tarski, Alfred, Logique, Sémantique, Métamathématique (1974) Tarski, Alfred, An Interpolation Theorem for Irredundant Bases of Closure Structures (1975) Tarski, Alfred, What are Logical Notions? (1986) Tarski, Alfred, Introduction to Logic and to the Methodology of Deductive Sciences (1994) Tarski, Alfred , Contributions to the Theory of Models III (1954) Tarski, Alfred; et. al., Basic Research in the Foundations of Mathematics (1970) Tarski, Alfred ; Givant, Steven, A Formalization of Set Theory without Variables (1987) Tarski, Alfred ; Keisler, Jerome, Some Problems and Results Relevant to the Foundations of Set Theory ; Some Applications of the Theory of Models to Set Theory (1960)