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) |