Math: Logic and Foundations

the entire directory only this category

Home : Math : Logic and Foundations

CATEGORIES:

Computability (12)

Computational Logic (31)

Directories (15)

Education (23)

Foundations (7)

Game Semantics (13)

History (107)

Institutions (66)

Knowledge Representation and Planning (2)

Meetings (193)

Model Theory (4)

Nonstandard Logics and Extensions (145)

Organizations (15)

People (132)

Proof Theory (17)

Publications (36)

Set Theory (75)

Software (27)

LINKS:

Abstract Service
http://www.logic.univie.ac.at/abstract/
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.

Classical Logic
http://plato.stanford.edu/entries/logic-classical/
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

Computability Logic Homepage
http://www.cis.upenn.edu/~giorgi/cl.html
Main online source on computability logic, - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.

Introduction to Mathematical Logic
http://www.ltn.lv/~podnieks/mlog/ml.htm
Hyper-textbook for students by V. Detlovs and K. Podnieks.

Logic
http://open-site.org/Science/Mathematics/Logic/
Open Encyclopedia entry. Hierarchically organized by subareas.

Math Front: LO Logic
http://front.math.ucdavis.edu/math.LO
Front end for the logic section of the mathematics e-print arXiv.

Mathematical Logic and Foundations
http://www.math.niu.edu/~rusin/known-math/index/03-XX.html
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
http://www.uni-bonn.de/logic/world.html
A rich collection of links to logic-related websites.

Mind Versus Goedel by Damjan Bojadziev
http://nl.ijs.si/~damjan/g-m-c.html
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

HOME | ADD A LINK | MODIFY A LINK | LOGIN

UFO Seek Forum is a growing community for discussion of UFO-Paranormal, mysterious and unexplained topics.