Course on Description Logics
- Slides and notes by Enrico Franconi.
- http://www.inf.unibz.it/~franconi/dl/course/

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.
- http://sakharov.net/logic.html

A Problem Course in Mathematical Logic; by Stefan Bilaniuk
- Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.
- http://euclid.trentu.ca/math/sb/pcml/

Disjunction
- Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
- http://plato.stanford.edu/entries/disjunction/

The Logic Cafe
- An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
- http://www.oakland.edu/phil/cafe/

ASL Committee on Logic Education
- Reports and resources from the Association of Symbolic Logic.
- http://www.phil.ucalgary.ca/asl-cle/

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.
- http://logictutorial.com/

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.
- http://www.cs.indiana.edu/formal-methods-education/

The Logic Daemon
- On-line proof checker, and texts.
- http://logic.tamu.edu/

Gödel's Theorem and Information
- G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
- http://www.cs.auckland.ac.nz/CDMTCS/chaitin/georgia.html

Around Gödel's Theorem
- (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
- http://www.ltn.lv/~podnieks/

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.
- http://www.sjsu.edu/faculty/carranza/

University of Alberta Logic Course
- Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
- http://ugweb.cs.ualberta.ca/~c272/

Games Mathematicians Play
- Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
- http://www.math.usf.edu/~mccolm/RGintro.html

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
- http://www-csli.stanford.edu/hp/

The Daily Translation
- Problems on translation into a logical system, drawn from the current news and updated daily.
- http://www.univnorthco.edu/philosophy/trans.html

Mission: Critical
- Interactive tutorial for critical thinking.
- http://www.sjsu.edu/depts/itl/