|
Encyclopaedia search for Logic and Foundations
How to link to Logic and Foundations
Logic and Foundations Categories
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
How to link to this page
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.
|