Reference.com Web Directory

Top » Science » Math » Logic and Foundations

Categories

Computability (11)
Computational Logic (32)
Directories (11)
Education (18)
Foundations (8)
Game Semantics (13)
History (100)
Institutions (62)
Knowledge Representation and Planning (2)
Meetings (148)
Model Theory (4)
Nonstandard Logics and Extensions (127)
Online Discussion Groups (3)
Organizations (14)
People (125)
Proof Theory (14)
Publications (26)
Set Theory (66)
Software (29)

Web Sites

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

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

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

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

Mathematical Logic around the World - A rich collection of links to logic-related websites.

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

Other Categories

Category Theory (40)
Philosophy of Logic (109)

See Also

Philosophy (43)
Logic-based (43)
Philosophy of Language (76)
Mathematics (36)