Education - Musharof Chy
Games Mathematicians Play
Mathematical games from a logical point of view: strategies for games and using games in descriptiv...
University of Alberta Logic Course
Includes an introduction to logic and formal systems, revolving around the Mizar proof checker, and...
Around Gödel's Theorem
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
Formal Methods Educational Materials
A repository for information related to formal methods in education, including pointers to existing...
Logic Tutorial
An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagr...
The Logic Cafe
An online textbook, courseware package, and homework assistant for introductory symbolic logic. Inc...
Disjunction
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by R...
Logical Laws
This page includes a collection of logical laws of the first-order logic. This collection is based ...
ASL Committee on Logic Education
Reports and resources from the Association of Symbolic Logic.