Alfred Tarski
Çalışmaları

1986. Alfred Tarski'nin Derlenmiş Makaleleri (The Collected Papers of Alfred Tarski), 4 cilt. Givant, SR ve McKenzie, RN, eds. Birkhäuser.
Givant Steven (1986). "Bibliography of Alfred Tarski". Journal of Symbolic Logic. 51 (4): 913-41. doi:10.2307/2273905. JSTOR 2273905.
1983 (1956). Logic, Semantics, Metamathematics: 1923'ten 1938'e kadar Alfred Tarski, Corcoran, J., ed. Hackett. 1. baskı Oxford Üniversitesi Yayınlarından J. H. Woodger tarafından düzenlenmiş ve çevrilmiştir. Bu derleme, Tarski'nin kariyerinin ilk dönemlerine ait en önemli makalelerinden bazılarının Lehçesinden tercümelerini içermektedir. Bunlar arasında Biçimlendirilmiş Dillerdeki Hakikat Kavramı (The Concept of Truth in Formalized Languages) ve Mantıksal Sonuç Kavramı Üzerine (On the Concept of Logical Consequence) de yukarıda tartışılmıştır.
1930 Une contribution à la théorie de la mesure. Fund Math 15 (1930), 42–50.
1930. (Jan Łukasiewicz ile). "Untersuchungen uber den Aussagenkalkul" ["Investigations into the Sentential Calculus"], Comptes Rendus des seances de la Societe des Sciences et des Lettres de Varsovie, Cilt 23 (1930) Cl. III, s. Tarski'de 31–32 (1983):38–59.
1931. "Sur les ensembles définissables de nombres réels I", Fundamenta Mathematicae 17 : 210–239, Tarski (1983): 110–142.
1936. "Grundlegung der wissenschaftlichen Semantik" 12 Ocak 2012 tarihinde Wayback Machine sitesinde arşivlendi., Actes du Congrès international de philosche scienceifique 12 Ocak 2012 tarihinde Wayback Machine sitesinde arşivlendi. , Sorbonne, Paris 1935, cilt. III, Language ve pseudo-problèmes, Paris, Hermann, 1936, s. Tarski'de 1–8 (1983): 401–408.
1936. "Über den Begriff der logischen Folgerung" 12 Ocak 2012 tarihinde Wayback Machine sitesinde arşivlendi., Actes du Congrès international de philosophie scientifique, Sorbonne, Paris 1935, cilt. VII, Logique, Paris: Hermann, s. Tarski'de 1–11 (1983): 409–420.
1936 (Adolf Lindenbaum ile). "Tümdengelim Kuramlarının Sınırlamaları Üzerine (On the Limitations of Deductive Theories)", Tarski (1983): 384–92.
1994 (1941). Mantığa ve Tümdengelimli Bilimlerin Metodolojisine Giriş (Introduction to Logic and to the Methodology of Deductive Sciences). Dover.
1941. "İlişkiler hesabı üzerine (On the calculus of relations)", Journal of Symbolic Logic 6: 73-89.
1944. " Gerçeğin Anlamsal Kavramı ve Anlambilimin Temelleri (The Semantical Concept of Truth and the Foundations of Semantics) 13 Mayıs 2011 tarihinde Wayback Machine sitesinde arşivlendi. ," Philosophy and Phenomenological Research 4: 341–75.
1948. Temel cebir ve geometri için bir karar yöntemi (A decision method for elementary algebra and geometry). Santa Monica CA: RAND Corp.
1949. Kardinal Cebirler (Cardinal Algebras). Oxford Üniv. Yay.
1953 (Mostowski ve Raphael Robinson ile). Kararsız teoriler (Undecidable theories). Kuzey Hollanda.
1956. Sıralı cebirler (Ordinal algebras). Kuzey-Hollanda.
1965. "Özdeşlik ile dayanak mantığının basitleştirilmiş bir biçimlendirmesi (A simplified formalization of predicate logic with identity)", Archiv für Mathematische Logik und Grundlagenforschung 7 : 61-79
1969. " Hakikat ve Kanıt (Truth and Proof)", Scientific American 220: 63-77.
1971 (Leon Henkin ve Donald Monk ile birlikte). Silindirik Cebirler: Bölüm I. Kuzey-Hollanda.
1985 (Leon Henkin ve Donald Monk ile birlikte). Silindirik Cebirler: Bölüm II. Kuzey-Hollanda.
1986. "Mantıksal Kavramlar Nelerdir? (What are Logical Notions?)", Corcoran, J., ed., History and Philosophy of Logic 7: 143–54.
1987 (Steven Givant ile). Değişkenler Olmadan Küme Teorisinin Biçimselleştirilmesi (A Formalization of Set Theory Without Variables) American Mathematical Society kolokyum yayınlarının 41. cildi. Providence RI: Amerikan Matematik Derneği. ISBN: 978-0821810415. Review
1999 (Steven Givant ile). "Tarski'nin geometri sistemi" 26 Mayıs 2008 tarihinde Wayback Machine sitesinde arşivlendi., Bulletin of Symbolic Logic 5: 175–214.
2002. "Mantıksal Olarak İzleme Kavramı Üzerine (On the Concept of Following Logically)" (Magda Stroińska ve David Hitchcock, çev.) History and Philosophy of Logic 23: 155–196.