Description
Top
:
Science
:
Math
:
Logic and Foundations
(694)
Open Directory - Science: Math: Logic and Foundations
Category Theory
@
(37)
Computability
(9)
Computational Logic
(31)
Foundations
(5)
Game Semantics
(13)
History
(89)
Knowledge Representation and Planning
(2)
Model Theory
(4)
Nonstandard Logics and Extensions
(114)
Philosophy of Logic
@
(94)
Proof Theory
(13)
Set Theory
(56)
Directories
(10)
Education
(16)
Meetings
(113)
Online Discussion Groups
(3)
Organizations
(10)
People
(103)
Publications
(24)
Research Groups and Centers
(52)
Software
(22)
See also:
Computers: Artificial Intelligence: Philosophy
(31)
Computers: Programming: Languages: Logic-based
(42)
Society: Philosophy: Philosophy of Language
(73)
Society: Philosophy: Philosophy of Science: Mathematics
(26)
This category in other languages:
French
(21)
German
(10)
Italian
(4)
Japanese
(5)
Polish
(9)
Russian
(2)
Spanish
(8)
Classical Logic
- Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Computability Logic Homepage
- Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Introduction to Mathematical Logic
- Hyper-textbook for students by V. Detlovs and K. Podnieks.
Mathematical Logic and Foundations
- From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
Mind Versus Goedel by Damjan Bojadziev
- Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
Usenet sci.logic -
news:
-
Google Groups
"
Logic and Foundations
" search on:
AOL
-
Ask
-
Bing
-
Gigablast
-
Google
-
Lycos
-
Yahoo
-
Yippy
Copyright © 2012 Netscape
Terms of Use
Visit our sister sites
mozilla.org
|
MusicMoz
|
Wikipedia
Last update: Saturday, October 1, 2011 11:41:30 PM EDT -
edit