Classical logic explained from the Stanford Encyclopedia of Philosophy.

Details research listings, teachings, collaboration, publications, news and vacancies.

A hyper-textbook featuring Propositional Logic, Predicate Logic, completeness theorems (model theory), normal forms, resolution method, complexity and unsolvability, and miscellaneous topics.

Survey of game-theoretical approaches to logic.

Various theories and foundations.

Information about mathematical induction, new problems, and math related links. Includes forums and references.