Follow @dmoz
about dmoz

dmoz blog

suggest URL

update listing

report abuse/spam

help
the entire directory
only in Math/Logic_and_Foundations
Description
Top
:
Science
:
Math
:
Logic and Foundations
(649)
Category Theory
@
(36)
Computability
(9)
Computational Logic
(30)
Foundations
(6)
Game Semantics
(13)
History
(84)
Knowledge Representation and Planning
(2)
Model Theory
(4)
Nonstandard Logics and Extensions
(105)
Philosophy of Logic
@
(97)
Proof Theory
(14)
Set Theory
(52)
Directories
(8)
Education
(12)
Meetings
(108)
Online Discussion Groups
(3)
Organizations
(9)
People
(94)
Publications
(25)
Research Groups and Centers
(48)
Software
(18)
See also:
Computers: Artificial Intelligence: Philosophy
(29)
Computers: Programming: Languages: Logicbased
(44)
Society: Philosophy: Philosophy of Language
(61)
Society: Philosophy: Philosophy of Science: Mathematics
(24)
This category in other languages:
French
(19)
German
(8)
Italian
(2)
Japanese
(4)
Polish
(8)
Russian
(2)
Spanish
(8)
Classical Logic
 Introduction to classical logic, including completeness and LĂ¶wenheimSkolem 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
 Hypertextbook 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.
Set Theory and Foundations of Mathematics
 Personal project to rebuild mathematics in a short and rigorous way from a new formalization of set theory, and explain its philosophical aspects. Also includes some physics.
Usenet sci.logic 
news:

Google Groups
"
Logic and Foundations
" search on:
AOL

Ask

Bing

Blekko

DuckDuckGo

Gigablast

Google

ixquick

Yahoo

Yandex

Yippy
Copyright © 19982014 AOL Inc.
Terms of Use
Visit our sister sites
mozilla.org

MusicMoz

Wikipedia
Last update: June 22, 2013 at 23:18:24 UTC 
edit