Information Delight

Category Index of Logic and Foundations

Home -> Directory > Science > Math > Logic and Foundations


Logic and Foundations

Computability Computational Logic Directories
Foundations Game Semantics History
Institutions Knowledge Representation And Planning Meetings
Model Theory Nonstandard Logics And Extensions Online Discussion Groups
Organizations People Proof Theory
Publications Set Theory Software



Education






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.

Logic
Wikipedia article.

Logic
Open Encyclopedia entry. Hierarchically organized by subareas.

Math Front: LO Logic
Front end for the logic section of the mathematics e-print arXiv.

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.

(Add Your Site)



General Directory:

Home > Directory > Science > Math > Logic and Foundations