Directories 11
Education 18
Institutions 61
Meetings 145
Online Discussion Groups 3
Organizations 14
People 125
Publications 26
Software 28
Category Theory 40
Computability 11
Computational Logic 32
Foundations 8
Game Semantics 13
History 101
Knowledge Representation and Planning 2
Model Theory 4
Nonstandard Logics and Extensions 126
Philosophy of Logic 109
Proof Theory 14
Set Theory 70
| | Philosophy - Artificial Intelligence, Computers 41
Logic-based - Languages, Programming, Computers 41
Philosophy of Language - Philosophy, Society 73
Mathematics - Philosophy of Science, Philosophy, Society 31
 Classical LogicClassical Logic
 Introduction to classical logic, including completeness and Löwenheim-Skolem theorems; by Stewart Shapiro.
|
Computability Logic HomepageComputability 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 LogicIntroduction to Mathematical Logic
 Hyper-textbook for students by V. Detlovs and K. Podnieks.
|
Mathematical Logic and FoundationsMathematical Logic and Foundations
 From The Mathematical Atlas, a resource of mathematics maintained by David Rusin. Extensive resources related to logic and set theory.
|
Mathematical Logic around the WorldMathematical Logic around the World
 A rich collection of links to logic-related websites.
|
Mind Versus Goedel by Damjan BojadzievMind Versus Goedel by Damjan Bojadziev
 Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.
|
|
