Alfred Tarski
Books
- The axiomatic method
- Cardinal algebras : With an appendix
- Der Wahrheitsbegriff in den formalisierten Sprachen
- Introduction to Logic and to the Methodology of Deductive Sciences -- Second Edition
- Introduction to Logic
- Collected Papers : Volume 1
- Introduction à la logique
- Undecidabel theories
- Introduction to logic and to the methodology of deductive sciences
- Alfred Tarski. Collected Papers Volume 4 1958-1979
- Collected Papers
- A formalization of set theory without variables
- Logic, semantics, and metamathematics
- Introduction to logic and to the methodology of deductive sciences
- Theory of Models
- Collected Papers : Volume 3
- Introduction to logic and to the methodology of deductive sciences
- 邏輯槪論題解
- Introduction To Logic and to the Methodolgy of Deductive Sciences
- Collected Papers : Volume 4
- Collected Papers : Volume 2
- Über den Begriff der logischen Folgerung
- Decision Method for Elementary Algebra and Geometry
- Einführung in die Mathematische Logik
- A formalization of set theory without variables
- Cardinal algebras
- Ordinal algebras
- Undecidable theories
Author data: Open Library