Neorunner Web Directory - Logic and Foundations - Science - Math

Advertisers
Free Chat Rooms UK Chat Rooms Chat Community Free Chat Rooms Punk Rock T-Shirts
Elevating Manual Wheelchairs Chat

Top: Science: Math: Logic_and_Foundations:

Category Theory@ (46)
Computability (13)
Computational Logic (34)
Foundations (8)
Game Semantics (13)
History (113)
Knowledge Representation and Planning (1)

Model Theory (4)
Nonstandard Logics and Extensions (145)
Online Discussion Groups (3)
Philosophy of Logic@ (110)
Proof Theory (17)
Set Theory (76)

See also:

This category in other languages:

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.

Usenet sci.logic - news: - Google Groups

Logic and Foundations - Science - Math - Logic and Foundations

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

Repair Credit Online Option Trading Gate Operator Harley Davidson Accessories