Math Logic and Foundations

• Directories
• Education
• Meetings
• Organizations

• People
• Publications
• Research
• Software

• Foundations

• Computability
• Computational Logic
• Game Semantics
• History
• Knowledge Representation and Planning

• Model Theory
• Nonstandard Logics and Extensions
• Proof Theory
• Set Theory

• Society: Philosophy 
• Society: Philosophy: Philosophy of Logic 

• Classical Logic  - Classical logic explained from the Stanford Encyclopedia of Philosophy.
• Computer Science, University of Bristol-  - Details research listings, teachings, collaboration, publications, news and vacancies.
• Damjan Bojadziev: Mind versus Gödel  - Slightly edited version of Gödel's theorems for minds and computers, published in Informatica (1995).
• Introduction to Mathematical Logic  - A hyper-textbook featuring Propositional Logic, Predicate Logic, completeness theorems (model theory), normal forms, resolution method, complexity and unsolvability, and miscellaneous topics.
• Logic and Games  - Survey of game-theoretical approaches to logic.
• Logic and Set Theory  - Various theories and foundations.
• Mathematical Atlals: Mathematical Logic  - Site provides field history, applications, subfields, textbooks, software, and related links.