Logic and Foundations Math Science

From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.

• Top/Society/Philosophy/Philosophy of Language
• Top/Computers/Programming/Languages/Logic-based
• Top/Computers/Artificial Intelligence/Philosophy
• Top/Society/Philosophy/Philosophy of Science/Mathematics

• Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem logic and foundations theorems; by Stewart Shapiro.
• Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. logic and foundations logic and foundations Podnieks.
• Computability Logic Homepage - Main online source on computability logic - a science recently emerged science formal theory of computational tasks and science resources. Maintained by G.Japaridze.
• Mind Versus Goedel by Damjan Bojadziev - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
• Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics math maintained by David Rusin. Extensive resources related math to logic and set theory.
• Mathematical Logic around the World - A rich collection of links to logic-related websites.

   MySQL - Cache Direct