Alfred Tarski

Publication Activity (10 Years)

Years Active: 1939-1999
Publications (10 Years): 0

Publications

Alfred Tarski, Steven Givant
Tarski's system of geometry. Bull. Symb. Log. 5 (2) (1999)
Leon Henkin, J. Donald Monk, Alfred Tarski
Representable cylindric algebras. Ann. Pure Appl. Log. 31 (1986)
Alfred Tarski
An interpolation theorem for irredundant bases of closure structures. Discret. Math. 12 (2) (1975)
J. C. C. McKinsey, Alfred Tarski
Some Theorems About the Sentential Calculi of Lewis and Heyting. J. Symb. Log. 13 (1) (1948)
Alfred Tarski
A Problem Concerning the Notion of Definability. J. Symb. Log. 13 (2) (1948)
Alfred Tarski
On the Calculus of Relations. J. Symb. Log. 6 (3) (1941)
Alfred Tarski
On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth. J. Symb. Log. 4 (3) (1939)