- Abstract Service for Mathematical Logic v0.81
- A collection of abstracts. Also allows submission of abstracts of papers on the subject.
- Classical Logic
- Classical logic explained from the Stanford Encyclopedia of Philosophy.
- 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.
|