Alfred Tarski

According to our database, Alfred Tarski authored at least 7 papers between 1939 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1999

Tarski's system of geometry.

Alfred Tarski, Steven Givant

Bull. Symb. Log., 1999

1986

Representable cylindric algebras.

Leon Henkin, J. Donald Monk, Alfred Tarski

Ann. Pure Appl. Log., 1986

1975

An interpolation theorem for irredundant bases of closure structures.

Alfred Tarski

Discret. Math., 1975

1948

A Problem Concerning the Notion of Definability.

Alfred Tarski

J. Symb. Log., 1948

Some Theorems About the Sentential Calculi of Lewis and Heyting.

J. C. C. McKinsey, Alfred Tarski

J. Symb. Log., 1948

1941

On the Calculus of Relations.

Alfred Tarski

J. Symb. Log., 1941

1939

On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.

Alfred Tarski

J. Symb. Log., 1939