Directory Home: Science: Math: Logic and Foundations  (805)

Encyclopaedia search for Logic and Foundations  
How to link to Logic and Foundations

Logic and Foundations Categories

Directories - 11 sites  Education - 18 sites  Institutions - 60 sites  Meetings - 142 sites  Online Discussion Groups - 3 sites

Organizations - 13 sites  People - 123 sites  Publications - 26 sites  Software - 28 sites

Category Theory@ - 40 sites  Computability - 11 sites  Computational Logic - 32 sites  Foundations - 8 sites  Game Semantics - 13 sites  History - 98 sites

Knowledge Representation and Planning - 2 sites  Model Theory - 4 sites  Nonstandard Logics and Extensions - 124 sites  Philosophy of Logic@ - 108 sites  Proof Theory - 14 sites  Set Theory - 69 sites

Logic and Foundations - Related Categories

 Computers: Artificial Intelligence: Philosophy - 39 sites
 Computers: Programming: Languages: Logic-based - 41 sites
 Society: Philosophy: Philosophy of Language - 72 sites
 Society: Philosophy: Philosophy of Science: Mathematics - 31 sites

Logic and Foundations - Web Sites

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

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

Introduction to Mathematical Logic
Hypertextbook for students by V. Detlovs and K. Podnieks.
url: www.ltn.lv/~podnieks/mlog/ml.htm

Mathematical Logic and Foundations
From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
url: www.math.niu.edu/~rusin/known-math/index/03-XX.htm....

Mathematical Logic around the World
A rich collection of links to logicrelated websites.
url: www.uni-bonn.de/logic/world.html

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

Logic and Foundations - Related Discussion Groups

Search for Logic and Foundations elsewhere

 
Here is an example of a HTML link that will link to this page - please feel free to edit the code snippet to suit your own requirements.