- Directories (11)
- Education (18)
- Meetings (135)
- Online Discussion Groups (3)
- Organizations (13)
- People (118)
- Publications (26)
- Research Groups and Centers (60)
- Software (28)
- Category Theory@ (39)
- Computability (10)
- Computational Logic (32)
- Foundations (7)
- Game Semantics (13)
- History (94)
- Knowledge Representation and Planning (2)
- Model Theory (4)
- Nonstandard Logics and Extensions (123)
- Philosophy of Logic@ (107)
- Proof Theory (13)
- Set Theory (67)
See also:
- Computers: Artificial Intelligence: Philosophy (38)
- Computers: Programming: Languages: Logic-based (40)
- Society: Philosophy: Philosophy of Language (67)
- Society: Philosophy: Philosophy of Science: Mathematics (30)
Computability Logic Homepage
cis.upenn.edu
Main online source on computability logic - a recently emerged formal theory of computational tasks and resources. Maintained by G.Japaridze.
Mathematical Logic and Foundations
math.niu.edu
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
nl.ijs.si
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
Classical Logic
plato.stanford.edu
Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
Introduction to Mathematical Logic
ltn.lv
Hyper-textbook for students by V. Detlovs and K. Podnieks.
- Usenet sci.logic - news: - Google Groups
|
[Hide]▼
news.google.com
Times Online
Gordon Brown told reporters that the agreement was historic: Today in Italy we have laid the foundations for a Copenhagen deal that is ambitious, ...
and more »
[Hide]▲
