Alfred Tarski: opere
- 1901 Nasce il 14 gennaio a Varsavia. Nato Tajtelbaum.
- 1933 Concetto di verità e linguaggi formalizzati
- 1935 Il concetto di semantica nei linguaggi formalizzati
- 1936 On Mathematical Logic and Deductive Method, [rif.]
- 1941 Introduction to Logic and to the Methodology of Deductive Sciences, [rif.]
- Introduzione alla logica, Bompiani, 1969
- 1949 Cardinal Algebras
- 1954 Contributions to the Theory of Models
- 1956 Logic, Semantics, Metamathematics, Clarendon, Oxford
- 1956 Ordinal Algebras
- 1957 Arithmetical Extensions of Relational Systems
- 1975 Logic Semantics Metamathematics. Papers from 1923 to 1938, Clarendon Press, Oxford, [rif.]
- 1983 Muore il 26 ottobre a Berkeley.
- 2004 Alfred Tarski. Life and Logic [di A. Burdman, S. Feferman], Cambridge University Press, Cambridge, [rif.]