Logic and Foundations

This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other.If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources.If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.

Home » Science » Math » Logic_and_Foundations » Directories
Home » Science » Math » Logic_and_Foundations » Education
Home » Science » Math » Logic_and_Foundations » Institutions
Home » Science » Math » Logic_and_Foundations » Meetings

Home » Science » Math » Logic_and_Foundations » Organizations
Home » Science » Math » Logic_and_Foundations » People
Home » Science » Math » Logic_and_Foundations » Publications
Home » Science » Math » Logic_and_Foundations » Software

Sub-Categories:

News:

sci.logic

Mathematical Logic and Foundations - From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
Rate this
Abstract Service - An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
Rate this
Math Front: LO Logic - Front end for the logic section of the mathematics e-print arXiv.
Rate this
Mind Versus Goedel by Damjan Bojadziev - Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
Rate this
Classical Logic - Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Rate this
Mathematical Logic around the World - A rich collection of links to logic-related websites.
Rate this
Introduction to Mathematical Logic - Hyper-textbook for students by V. Detlovs and K. Podnieks.
Rate this
Computability Logic Homepage - Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Rate this
Logic - Wikipedia article.
Rate this
Logic - Open Encyclopedia entry. Hierarchically organized by subareas.
Rate this

Web Search for Logic and Foundations Math Science - News search for Logic and Foundations Math Science - encyclopedia entries for Logic and Foundations Math Science