- Biography of Alfred Tarski (1902-1983) ...www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Tarski.html
- www.ditext.com/tarski/tarski.html
- The Bulletin of Symbolic Logic Volume 5, Issue 2, June 1999 Articles New directions in descriptive set theory, by Alexander S. Kechris, pages 161 -- 174. Tarski's system of geometry, by Alfred Tarski and Steven Givant, pages 175 -- 214. Communications The logic of bunched implications, by Peter W. O'Hearn and David J. Pym, pages 215 -- 244. Church's problem revisited, by Orna Kupferman and Moshe ...www.math.ucla.edu/~asl/bsl/0502-toc.htm
