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.
This website uses cookies to ensure you have the best experience. By continuing to use this site, you consent to our Privacy policy. You can disable cookies at any time, by changing your browser settings.