dblp.uni-trier.dewww.uni-trier.de

Alfred Tarski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
5EEAlfred 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)

Coauthor Index

1Steven Givant [5]
2J. C. C. McKinsey [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)