| A Problem Course in Mathematical Logic; by Stefan Bilaniuk: Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness. |
| 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. |
| Disjunction: 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. |
| Gödel's Theorem and Information: G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor. |
| Infinity: Exploring the logical basis and practical meaning of infinite sets. |
| Logic Software from CSLI: Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy |
| Logic Tutorial: An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With notes on the Buddhist Nagarjuna and modern symbolic logic. |
| logic-l: Elementary Logic Discussion List. |
| Logical Laws: This page contains 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 contains a few additions. |
| Mission: Critical: Interactive tutorial for critical thinking. |
| The Daily Translation: Problems on translation into a logical system, drawn from the current news and updated daily. |
| The Logic Cafe: An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support. |
| The Logic Classroom: A course in basic logic consisting of 5 studies with exercises and answers to promote the learning of logic. Homeschool, college, and seminary students. |
| The Logic Daemon: On-line proof checker, and texts. |
| University of Alberta Logic Course: Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. |
Classical
