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

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

Stephen Downes : Fallacies Stephen's Guide to the Logical Fallacies. http://www.intrepidsoftware.com/fallacy/welcome.htm

Core Concepts in Critical Thinking A classroom guide. http://www.kcmetro.cc.mo.us/longview/ctac/corenotes.htm

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/

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

Infinity Exploring the logical basis and practical meaning of infinite sets. http://www.c-parr.freeserve.co.uk/hcp/infinity.htm

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/

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

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

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

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

Logic for Mathematics and Computer Science Supplementary material to Stanley Burris' logic textbook, with lecture notes, course development hints, and additional text including historical notes. http://thoralf.uwaterloo.ca/htdocs/lmcs.html

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

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/

logic-l Elementary Logic Discussion List. http://www.liszt.com/lists/logic-l/

Course on Description Logics Slides and notes by Enrico Franconi. http://www.cs.man.ac.uk/~franconi/dl/course/

OBBLOG Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript. http://www.geocities.com/nummolt/obblog/

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/

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