This section is about mathematical logic and foundations of mathematics. (So it roughly corresponds to section 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. Logic and Foundations Math Science.

Logic (from the Ancient Greek: λογική, logike ) originally meaning the word, or what is spoken, (but coming to mean thought or reason ) is generally held to consist of the systematic study of the form of arguments. (wikipedia)

- Compares Mind Versus Goedel by Damjan Bojadziev
**www**

Compares the mind to advanced computers and artificial intelligence, Versus Goedel by Damjan Bojadziev, as Goedel would possibly view them. Mind Versus Goedel by Damjan Bojadziev. - Introduction Classical Logic
**www**

Introduction to classical logic, Logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro. Classical Logic. - Hyper-textbook Introduction to Mathematical Logic
**www**

Hyper-textbook for students by V. Mathematical Logic. Detlovs and K. Podnieks. Introduction to Mathematical Logic. - From Mathematical Logic and Foundations
**www**

From The Mathematical Atlas, Logic and Foundations, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory. Mathematical Logic and Foundations. - A Mathematical Logic around the World
**www**

A collection of links to logic-related websites. Mathematical Logic around the World. - Main Computability Logic Homepage
**www**

Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Logic Homepage. Maintained by G.Japaridze. Computability Logic Homepage. - An Categorical Myths and Legends
**www**

An archive of stories about category theorists. Categorical Myths and Legends. - Section CT Category Theory
**www**

Section of the e-print arXiv dealing with category theory, Category Theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra. CT Category Theory. - Wikipedia Interactive Computation
**www**

Wikipedia article. Interactive Computation. - An Computability and Complexity
**www**

An online course on complexity. Computability and Complexity. - Section Mathematical Logic and Foundations
**www**

Section of Math Guide. Mathematical Logic and Foundations. - Groups Logic and Set Theory
**www**

Groups and conferences. Logic and Set Theory. - Problems The Daily Translation
**www**

Problems on translation into a logical system, Daily Translation, drawn from the current news and updated daily. The Daily Translation. - A The Logic Classroom
**www**

A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Logic Classroom. Homeschool, college, and seminary students. The Logic Classroom. - The Hilbert II - Mathematical Foundation Project
**www**

The Goal of Hilbert II, - Mathematical Foundation Project, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. Hilbert II - Mathematical Foundation Project. - Reviews Foundations of Mathematics
**www**

Reviews the foundations of mathematics with reference materials structured as content pages of a book. Mathematics. Includes links to expository materials. Foundations of Mathematics. - Présentation Qu'est-ce que la théorie des modèles
**www**

Présentation vulgarisée de quelques notions et résultats modernes en ce domaine. Qu'est-ce que la théorie des modèles. - Son Ruet, Paul
**www**

Son cours de deuxième année de Master est une introduction à la logique, Paul, à la calculabilité et à la complexité algorithmique. Ruet, Paul. - Combined Mathematics Archives
**www**

Combined archive and directory of math web sites, Archives, mailing lists, and teaching materials. Located at University of Tennessee. Mathematics Archives. - Article How to Read Mathematics
**www**

Article categorizes some of the strategies for a mathematics reading protocol. How to Read Mathematics. - Alexa: Logic and Foundations Math

alexa:/topsites/category/Top/Science/Math/Logic_and_Foundations

Alexa Directory Top Sites: Logic and Foundations Math - DMOZ: Logic and Foundations Math

dmoz:/Science/Math/Logic_and_Foundations

dmoz.org Directory: Logic and Foundations Math