Tarski, Alfred.

Introduction to logic and to the methodology of the deductive sciences

1994

A formalization of set theory without variables

1987

Einführung in die mathematische Logik

1977

Logic, semantics, metamathematics

1956

O logice matematycznej i metodzie dedukcyjnej

1941

Cylindric algebras

Alfred Tarski, Collected Papers (Collected Works)

1987

Collected papers

1986

Logique, sémantique, métamathématique, 1923-1944

1972

Introduction à la logique

1969

The completeness of elementary algebra and geometry

1967

Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski

1959

Ordinal algebras

1956

Undecidable theories

1953

Cardinal algebras

1949

A decision method for elementary algebra and geometry

1948

Einführung in die mathematische logik und in die methodologie der mathematik

1937

Pojęcie prawdy w językach nauk dedukcyjnych

1933

Introduction to logic and to the methodology of deductive sciences