Add A Site · What's New  
Search for:   in:


Home > Science > Mathematics > Foundations of Mathematics > Logicians > Tarski, Alfred


Web Sites
Tarski
Biography of Alfred Tarski (1902-1983) ...
Preview Site   www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Tarski.html   reviews

The Semantical Conception of Truth
Preview Site   www.ditext.com/tarski/tarski.html   reviews

The Bulletin of Symbolic Logic, June 1999
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 ...
Preview Site   www.math.ucla.edu/~asl/bsl/0502-toc.htm   reviews




Copyright © 1994-2010 eiNET.net · Terms · Privacy · Help