Home > Science > Mathematics > Foundations of Mathematics > Logicians > Tarski, Alfred
Web Sites
Tarski
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Tarski.html reviews
Biography of Alfred Tarski (1902-1983) ...
www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Tarski.html reviewsThe Semantical Conception of Truth www.ditext.com/tarski/tarski.html reviews
www.ditext.com/tarski/tarski.html reviewsThe Bulletin of Symbolic Logic, June 1999 www.math.ucla.edu/~asl/bsl/0502-toc.htm reviews
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 reviews