This category is for those sites on mathematical logic (and related topics) that are of interest to the general public rather than to professional mathematicians.
Related categories 1
Around Gödel's Theorem
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
ASL Committee on Logic Education
Reports and resources from the Association of Symbolic Logic.
Course on Description Logics
Slides and notes by Enrico Franconi.
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
Formal Methods Educational Materials
A repository for information related to formal methods in education, including pointers to existing courses and suggestions for examples and projects.
Games Mathematicians Play
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
The Logic Cafe
An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
The Logic Daemon
On-line proof checker, and texts.
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic.
This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions.
University of Alberta Logic Course
Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
Last update:February 9, 2015 at 13:15:08 UTC