|
Website Related: Logic and Foundations03: Mathematical logic and foundations24 Jan 2000 ... From The Mathematical Atlas, a resource of mathematics maintained by David Rusin . Extensive resources related to logic and set theory. www.math.niu.edu/~rusin/known-math/index/03-XX.html |
The Math Forum - Math Library - Logic/FoundationsThe Math Forum's Internet Math Library is a comprehensive catalog of Web sites and Web pages relating to the study of mathematics. This page contains sites ... mathforum.org/library/topics/logic/ |
Amazon.com: Foundations of Mathematical Logic: Haskell B. Curry: BooksLectures on Mathematical Logic, Volume II: Calculi for Derivations and Deductions .... Books on Logic and the Foundations of Mathematics: A list by S. Guha ... www.amazon.com/Foundations-Mathematical-Logic-Haskell-Curry/dp/048663462... |
Google Directory - Science > Math > Logic and FoundationsMathematical Logic and Foundations - http://www.math.niu.edu/~rusin/known-math/ index/03-XX.html From The Mathematical Atlas, a resource of mathematics ... www.google.com/Top/Science/Math/Logic_and_Foundations/ |
MathGuide: Subject Class: Mathematical logic and foundationsSubject Class, Partial differential equations; Optics, electromagnetic theory; Mechanics of solids; Numerical analysis; Mathematical logic and foundations ... www.mathguide.de/cgi-bin/ssgfi/anzeige.pl |
Open Directory - Science: Math: Logic and Foundations6 Apr 2008 ... Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. ... www.dmoz.org/Science/Math/Logic_and_Foundations/ |
Open Directory - Science: Math: Logic and Foundations: Software19 Aug 2008 ... This library is a Java class providing object-oriented representations and algorithms for logic, mathematics, and artificial intelligence. ... www.dmoz.org/Science/Math/Logic_and_Foundations/Software/ |
Foundations of MathematicsMathematical Logic and Foundations - Article from The Mathematical Atlas intro ..... Science > Math > Logic and Foundations - from Open Directory Project ... sakharov.net/foundation.html |
Science - Math - Logic and Foundations - Introduction to ...Science Central: Science - Math - Logic and Foundations. Hyper-textbook for students by V.. The recent approach called Computability Logic is a formal ... www.sciencecentral.com/category/298 |
FOMFOM is a closed, moderated, e-mail list for discussing foundations of mathematics. I was the founder/owner/moderator of FOM from September 1997 through ... www.math.psu.edu/simpson/fom/ |
