Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Science / Math / Logic_and_Foundations / Education /

Mission: Critical Interactive tutorial for critical thinking. http://www.sjsu.edu/depts/itl/ Sjsu.edu  ~   Site Info   Whois   Trace Route   RBL Check   The Daily Translation Problems on translation into a logical system, drawn from the current news and updated daily. http://www.univnorthco.edu/philosophy/trans.html Univnorthco.edu  ~   Site Info   Whois   Trace Route   RBL Check   Logic Software from CSLI Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy http://www-csli.stanford.edu/hp/ Stanford.edu  ~   Site Info   Whois   Trace Route   RBL Check   Games Mathematicians Play Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. http://www.math.usf.edu/~mccolm/RGintro.html Usf.edu  ~   Site Info   Whois   Trace Route   RBL Check   Infinity Exploring the logical basis and practical meaning of infinite sets. http://www.c-parr.freeserve.co.uk/hcp/infinity.htm Freeserve.co.uk  ~   Site Info   Whois   Trace Route   RBL Check   University of Alberta Logic Course Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. http://ugweb.cs.ualberta.ca/~c272/ Ualberta.ca  ~   Site Info   Whois   Trace Route   RBL Check   The Logic Classroom A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students. http://www.sjsu.edu/faculty/carranza/ Sjsu.edu  ~   Site Info   Whois   Trace Route   RBL Check   Around Gödel's Theorem (Hyper)textbook for students in mathematical logic, by Karlis Podnieks. http://www.ltn.lv/~podnieks/ Ltn.lv  ~   Site Info   Whois   Trace Route   RBL Check   Gödel's Theorem and Information G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor. http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html Auckland.ac.nz  ~   Site Info   Whois   Trace Route   RBL Check   The Logic Daemon On-line proof checker, and texts. http://logic.tamu.edu/ Tamu.edu  ~   Site Info   Whois   Trace Route   RBL Check