The Philosopher
Alfred Tarski
The face
The background
- Nationality:
- Polish-American
- Branchs:
- Logic, Mathematics, Formal language, Model theory, Metamathematics, Algebraic logic, Abstract algebra, Topology, Geometry, Measure theory, Mathematical logic, Set theory, Type theory, Analytic philosophy
- Period:
- 20th century
The synopsis
The works
O wyrazie pierwotnym logistyki
A decision method for elementary algebra and geometry
Undecidable theories
Cardinal Algebras
Ordinal Algebras
Introduction to Logic and to the Methodology of Deductive Sciences
Logic, Semantics, Metamathematics: Papers from 1923 to 1938
The Collected Papers of Alfred Tarski
A Formalization of Set Theory Without Variables
Cylindric Algebras: Part I
Cylindric Algebras: Part II