1999 | ||
---|---|---|
5 | EE | Alfred Tarski, Steven Givant: Tarski's system of geometry. Bulletin of Symbolic Logic 5(2): 175-214 (1999) |
1948 | ||
4 | J. C. C. McKinsey, Alfred Tarski: Some Theorems About the Sentential Calculi of Lewis and Heyting. J. Symb. Log. 13(1): 1-15 (1948) | |
3 | Alfred Tarski: A Problem Concerning the Notion of Definability. J. Symb. Log. 13(2): 107-111 (1948) | |
1941 | ||
2 | Alfred Tarski: On the Calculus of Relations. J. Symb. Log. 6(3): 73-89 (1941) | |
1939 | ||
1 | Alfred Tarski: On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth. J. Symb. Log. 4(3): 105-112 (1939) |
1 | Steven Givant | [5] |
2 | J. C. C. McKinsey | [4] |