Tarski, Alfred.

Introduction to logic and to the methodology of the deductive sciences

1994

A formalization of set theory without variables

1987

Alfred Tarski, Collected Paper

Alfred Tarski, Collected Papers (Collected Works)

1987

Einführung in die mathematische Logik

1977

Logique, sémantique, métamat

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

1972

The completeness of elementary

The completeness of elementary algebra and geometry

1967

Introduction to logic and to t

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

1959

Logic, semantics, metamathematics

1956

Ordinal algebras

Ordinal algebras

1956

Undecidable theories

1953

A decision method for elementa

A decision method for elementary algebra and geometry

1948

Einführung in die mathematisc

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

1937

Pojęcie prawdy w językach na

Pojęcie prawdy w językach nauk dedukcyjnych

1933