On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth. - Alfred Tarski (J. Symb. Log., 1939)

On the Calculus of Relations. - Alfred Tarski (J. Symb. Log., 1941)

Some Theorems About the Sentential Calculi of Lewis and Heyting. - J. C. C. McKinsey; Alfred Tarski (J. Symb. Log., 1948)

A Problem Concerning the Notion of Definability. - Alfred Tarski (J. Symb. Log., 1948)

An interpolation theorem for irredundant bases of closure structures. - Alfred Tarski (Discret. Math., 1975)

Representable cylindric algebras. - Leon Henkin; J. Donald Monk; Alfred Tarski (Ann. Pure Appl. Log., 1986)

Tarski's system of geometry. - Alfred Tarski; Steven Givant (Bull. Symb. Log., 1999)