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.

Stephen Downes : Fallacies - Stephen's Guide to the Logical Fallacies.

Beginnings of Set Theory - MacTutor History of Mathematics article.

Axiom of Choice and Continuum Hypothesis - Part of the Frequently Asked Questions in Mathematics.

Core Concepts in Critical Thinking - A classroom guide.

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

Critical Thinking Books and Software - Critical thinking products for home and classroom for use in mathematics, science, language arts, social studies, and more.

Games Mathematicians Play - Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.

Infinity - Exploring the logical basis and practical meaning of infinite sets.

Conditionals and Counterfactuals - An investigation into the definition and misuse of the word "if".

University of Alberta Logic Course - Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.

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.

Foundations of Temporal Logic - This site is devoted to the Life and Work of Arthur Norman Prior (1914-69), the founding father of temporal logic. A special emphasis is placed on Prior's papers in The Bodleian Library, Oxford.

Around Gödel's Theorem - (Hyper)textbook for students in mathematical logic, by Karlis 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.

Mathematics and Logic - Site dedicated to Math and Logic education. Games, software, worksheets, puzzles.

Lyceum Tutorial Services - Philosophy and logic tutoring (paid services).

The Logic Daemon - On-line proof checker, and texts.

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.

Introduction to Logic and Recursion Theory - Notes from the class taught by Prof. Sacks in the Spring of 1998.

A Problem Course in Mathematical Logic; by Stefan Bilaniuk - Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.

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.

The Cantor Set - Article in the Platonic Realms, describing a paradox of infinite sets in measure theory.

logic-l - Elementary Logic Discussion List.

Course on Description Logics - Slides and notes by Enrico Franconi.

OBBLOG - Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.