Web Site Information :.

Site Info    Whois    Traceroute    RBL Check

• Site Info
• Who Is
• Trace Route
• RBL Check
• What's My IP?
• Web Search

Enter Web Site URL Address:
 

Top / Science / Math / Logic_and_Foundations /

Mathematical Logic and Foundations From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. http://www.math.niu.edu/~rusin/known-math/index/03-XX.html Niu.edu  ~   Site Info   Whois   Trace Route   RBL Check   Mind Versus Goedel by Damjan Bojadziev Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them. http://nl.ijs.si/~damjan/g-m-c.html Ijs.si  ~   Site Info   Whois   Trace Route   RBL Check   Classical Logic Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. http://plato.stanford.edu/entries/logic-classical/ Stanford.edu  ~   Site Info   Whois   Trace Route   RBL Check   Mathematical Logic around the World A rich collection of links to logic-related websites. http://www.uni-bonn.de/logic/world.html Uni-bonn.de  ~   Site Info   Whois   Trace Route   RBL Check   Introduction to Mathematical Logic Hyper-textbook for students by V. Detlovs and K. Podnieks. http://www.ltn.lv/~podnieks/mlog/ml.htm Ltn.lv  ~   Site Info   Whois   Trace Route   RBL Check   Computability Logic Homepage Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze. http://www.cis.upenn.edu/~giorgi/cl.html Upenn.edu  ~   Site Info   Whois   Trace Route   RBL Check