Excite
|
Mail
|
MIX
|
Explore Excite:
all channels
Bookmarks
DigitalEdge
Ecards
EntertainMe
Excite MIX
Flirt
Games
Horoscopes
Jobs
Money
Sexploits
SportScene
StyledLife
Translation
Travel
Weather
Web-Directory
Web-Search
WebTwitcher
Web
|
Images
|
Video
|
Mp3
|
News
|
Jobs
|
Directory
Directory
>
Science
>
Math
>
Logic and Foundations
Directories
(
13)
Education
(
18)
Institutions
(
2
62)
Meetings
(
8
160)
Online Discussion Groups
(
3)
Organizations
(
13)
People
(
1
129)
Publications
(
3
27)
Software
(
30)
Category Theory
@
(
3
41)
Computability
(
2
12)
Computational Logic
(
3
34)
Foundations
(
8)
Game Semantics
(
1
13)
History
(
2
106)
Knowledge Representation and Planning
(
2)
Model Theory
(
4)
Nonstandard Logics and Extensions
(
7
140)
Philosophy of Logic
@
(
13
114)
Proof Theory
(
2
16)
Set Theory
(
1
71)
7 sites in Logic and Foundations
Classical Logic
Save
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
http://plato.stanford.edu/entries/log...
Computability Logic Homepage
Save
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
Introduction to Mathematical Logic
Save
Hyper-textbook for students by V. Detlovs and K. Podnieks.
http://www.ltn.lv/~podnieks/mlog/ml.htm
Math Front: LO Logic
Save
Front end for the logic section of the mathematics e-print arXiv.
http://front.math.ucdavis.edu/math.LO
Mathematical Logic and Foundations
Save
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-...
Mathematical Logic around the World
Save
A rich collection of links to logic-related websites.
http://www.uni-bonn.de/logic/world.html
Mind Versus Goedel by Damjan Bojadziev
Save
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
http://nl.ijs.si/~damjan/g-m-c.html
Forum
- Usenet sci.logic
See also
Computers: Artificial Intelligence: Philosophy
(
3
43)
Computers: Programming: Languages: Logic-based
(
8
47)
Society: Philosophy: Philosophy of Language
(
7
83)
Society: Philosophy: Philosophy of Science: Mathematics
(
7
37)
The category Logic and Foundationsin other languages
French
(
2
23)
German
(
2
10)
Italian
(
4)
Japanese
(
5)
Russian
(
2)
Spanish
(
3)
Help build the largest human-edited directory of the web
Suggest a site
|
Open Directory Project
|
Become an editor
Site Map
Advertising
Info
Feedback
Excite Deutschland
|
Excite España
|
Excite France
|
Excite Italia
|
Excite Japan
|
Excite Nederland
|
Excite USA
Copyright ©1995-2008