Logic and Foundations Web Directory.


Home \| About us \| Advertise \| Contact Us

Science > Math > Logic and Foundations

Web Directory

Google Adwords

Google Adwords allows businesses to advertise on any number of sites, including Expo Central, regardless of the size of their budget. Ad campaigns can be set up to target based on keywords, geographical location of the visitor, and/or individual web sites. They handle the most common sizes of ads and allow text, image or video.

Firefox with Google Toolbar

Mozilla Firefox is a web browser with pop-up blocking, tabbed browsing, and privacy and security features. Integration of the Google Toolbar into the Firefox download offers users even more features: Google search, SpellCheck, and Autofill.

Google Pack Software

Get the power of Google on your desktop PCs! Google Pack provides a single installer for many essential PC applications from Google and other trusted partners. These applications improve your browsing with increased speed and security, provide better searching capability for the web and for your own PC and enable you to collect and organize your personal data, including photos.

Home > Science > Math > Logic and Foundations
Directory of Web Resources @ Expo Central : Logic and Foundations

Science > Math > Logic and Foundations : Categories

Computability (13)
Computational Logic (34)
Directories (15)
Education (19)
Foundations (8)
Game Semantics (13)
History (113)

Institutions (66)
Knowledge Representation and Planning (2)
Meetings (181)
Model Theory (4)
Nonstandard Logics and Extensions (144)
Online Discussion Groups (3)

Organizations (14)
People (130)
Proof Theory (16)
Publications (31)
Set Theory (74)
Software (31)

Science > Math > Logic and Foundations : Web Resources

Science > Math > Logic and Foundations : Web-Sites

1. Classical Logic [ Report dead link ]

Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.

http://plato.stanford.edu/entries/logic-classical/

_

2. Computability Logic Homepage [ Report dead link ]

Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.

http://www.cis.upenn.edu/~giorgi/cl.html

_

3. Introduction to Mathematical Logic [ Report dead link ]

Hyper-textbook for students by V. Detlovs and K. Podnieks.

http://www.ltn.lv/~podnieks/mlog/ml.htm

_

4. Logic [ Report dead link ]

Wikipedia article.

http://en.wikipedia.org/wiki/Logic

_

5. Logic [ Report dead link ]

Open Encyclopedia entry. Hierarchically organized by subareas.

http://open-site.org/Science/Mathematics/Logic/

_

6. Math Front: LO Logic [ Report dead link ]

Front end for the logic section of the mathematics e-print arXiv.

http://front.math.ucdavis.edu/math.LO

_

7. Mathematical Logic and Foundations [ Report dead link ]

From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.

http://www.math.niu.edu/~rusin/known-math/index/03-XX.html

_

8. Mathematical Logic around the World [ Report dead link ]

A rich collection of links to logic-related websites.

http://www.uni-bonn.de/logic/world.html

_

9. Mind Versus Goedel by Damjan Bojadziev [ Report dead link ]

Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.

http://nl.ijs.si/~damjan/g-m-c.html

_

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

Submit a Site - Open Directory Project - Become an Editor

Science > Math > Logic and Foundations : Web Resources

[ Home | About us | Advertise | Contact Us ]