List of works - Alfred Tarski

A contribution to the theory of measurement

scientific article published in 1930

A lattice-theoretical fixpoint theorem and its applications

scientific article published in June 1955

A simplified formalization of predicate logic with identity

scientific article published in March 1964

Boolean algebras with operators, I.

scientific article published in October 1951

Boolean rings with an ordered basis

scientific article published in 1939

Introduction to logic and to the methodology of deductive sciences / Alfred Tarski. - 3. Aufl. 1965

book

Logic, Semantics, Metamathematics / ed. Alfred Tarski. - 1956 ⬇️

book

Measures in Boolean algebras

scientific article published in March 1948

Metamathematische Methoden in der Geometrie

O wyrazie pierwotnym logistyki ⬇️

doctoral dissertation by Alfred Tarski

On Families of Mutually Exclusive Sets

scientific article published in 1943

On closed elements in closure algebras

scientific article published in January 1946

On the Concept of Following Logically

On the calculus of relations

scientific article (publication date: September 1941)

On the foundations of Boolean algebra. I.

scientific article published in 1935

Some Current Problems in Metamathematics1

article published in 1995

Some theorems about the sentential calculi of Lewis and Heyting

article published in 1948

Sur quelques théorèmes qui équivalent à l'axiome du choix

scientific article published in 1924

Sur une propriété caractéristique des nombres inaccessibles

Tarski's System of Geometry

Tarski's axiomatization of the reals

The algebra of topology

scientific article published in January 1944

The concept of truth in formalized languages / Alfred Tarski. - (1935)

article

The semantic conception of truth / Alfred Tarski. - (1944)