Tarski, Alfred.
Books
- Cylindric algebras
- Logic, semantics, metamathematics
- The completeness of elementary algebra and geometry
- A formalization of set theory without variables
- Ordinal algebras
- Alfred Tarski, Collected Papers (Collected Works)
- O logice matematycznej i metodzie dedukcyjnej
- Collected papers
- Undecidable theories
- Einführung in die mathematische Logik
- Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski
- Logique, sémantique, métamathématique, 1923-1944
- Logic, semantics, metamathematics
- Cardinal algebras
- Einführung in die mathematische logik und in die methodologie der mathematik
- Introduction to logic and to the methodology of the deductive sciences
- Undecidable theories
- Introduction to logic and to the methodology of deductive sciences
- Introduction à la logique
- Pojęcie prawdy w językach nauk dedukcyjnych
- A decision method for elementary algebra and geometry
Author data: Open Library