Computability
Bibliographic Database for Computability Theory, Church-Turing Thesis, Computability and Complexity, Computability Logic, Computability Logic - Wictionary, Computability Theory, ECCC - Electronic Colloquium on Computational Comp, Hypercomputation Research Network, Interactive Computation, Introduction to Logic and Recursion Theory
Computational Logic
Automated Reasoning, Combinatory Logic and Lambda Calculus, Logical Frameworks, Research Index: Computer Science: Theory: Logic
Directories
ASL members, Australian Logic Home Page, Computability Theory, Description Logics, Formal Logic, Knowledge Representation, Logic and Set Theory, Logic and Set Theory, Logic Links, Logic on the World Wide Web
Education
A Problem Course in Mathematical Logic; by Stefan , Around Gödel's Theorem, ASL Committee on Logic Education, Core Concepts in Critical Thinking, Course on Description Logics, Disjunction, Formal Methods Educational Materials, Games Mathematicians Play, Gödel's Theorem and Information, Infinity
Foundations
A Century of Controversy over the Foundations of M, Arché, FOM, Foundations of Mathematics, Mizar Project, Practical Foundations of Mathematics, QED Project
Game Semantics
People, Game Semantics, Game Semantics or Linear Logic?, Game Theory, Game_Semantics, Is Game Semantics Necessary?, Logic and Games
History
Ancient and Modern Logic, People, Aristotle's Logic, Aristotle's Reform of Paideia, Logic, Mediaeval Logic and Philosophy, Medieval Theories of Analogy, Medieval Theories of Modality, On Dialectic, Peter of Spain (Petrus Hispanus), Scholastic Logic, Scholasticism
Institutions
Europe, North America, (Australia) Canberra, (Colombia) Bogotá, (Israel) Ben Gurion University of the Negev, (Israel) Haifa, (Japan) Kobe, Linear Naming and Computation, Logic at Leeds Homepage
Meetings
BLC, Calendars, ESSLLI, ISMVL, Logic Colloquium, Past Conferences, Series, WoLLIC, CiE 2005, Computation Prospects of Infinity, LICS, Logic and Algorithms, LPNMR'05, Model Theory and Applications to Algebra and Analy, WILF 2005
Model Theory
Finite Model Theory Homepage, Introduction to Model Theory, Model Theory of Fields: Suggested Reading, Model Theory. Skolem's Paradox. Ramsey's
Nonstandard Logics and Extensions
Fuzzy Logic, Intuitionistic Logic, Many-valued Logic, Modal Logic, Substructural Logics, Temporal Logic, Computability Logic, Infinitary Logic, Logic System Interrelationships, Non Standard Logics, What are Weak Arithmetics
Organizations
ALP, ASL, British Logic Colloquium, COMPULOG Americas, Computability in Europe Homepage, CSHPM, DVMLG, EACSL, FoLLI, IGPL
People
Students and Independent Scholars, Aczel, Peter, Andrews, Peter B., Artemov, Sergei, Avigad, Jeremy, Awodey, Steve, Baldwin, John T., Barendregt, Henk, Bartoszynski, Tomek, Beklemishev, Lev, Blass, Andreas R.
Proof Theory
People, Fast-growing Functions and Unprovable Theorems, Frogs Discussion Group, G. Japaridze's Papers, Linear Network, Logic of programming, Mathematical Reasoning Group, Proof Theory, Proof Theory on the Eve of Year 2000, ProofTheory.ORG, The Calculus of Structures
Set Theory
People, A Crash Course in the Mathematics of Infinite Sets, Axiom of Choice and Continuum Hypothesis, Bounded Set Theory, Cantor's Donut Paradox, Cantor's Theorem, Consequences of the Axiom of Choice Project, Equivalence Relation, Infinite Ink: The Continuum Hypothesis, by Nancy M, Issues in Commonsense Set Theory, Metamath Proof Explorer
Software
ACL2 Version 2.7, Automated Reasoning Project, Bertrand, Church, Database of Existing Mechanized Reasoning Systems, DC Proof Online, DELORES, Gateway to Logic, Isabelle, llprover
Abstract Service
An archive of abstracts of logic articles at the Institute for Logic, University of Vienna.
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.
Logic
Open Encyclopedia entry. Hierarchically organized by subareas.
Math Front: LO Logic
Front end for the logic section of the mathematics e-print arXiv.
Mathematical 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 World
A rich collection of links to logic-related websites.
Mind Versus Goedel by Damjan Bojadziev
Compares the mind to advanced computers and artificial intelligence, as Goedel would possibly view them.