Login

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Tarski, Alfred, Truth and Proof (1969)
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 ; 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)
Tarski, Alfred ; Szmielew, Wanda, Mutual Interpretability of Some Essentially Undecidable Theories (1950)