Sites

Logic Tutorial (Popularity: )

An interactive tool teaching basic formal logic, rendering truth tables as clickable Johnston diagrams. With ...

The Logic Daemon (Popularity: )

On-line proof checker, and texts.

The Logic Classroom (Popularity: )

A course in basic logic consisting of 5 studies with exercises and answers to promote ...

Logic Software from CSLI (Popularity: )

Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by ...

Games Mathematicians Play (Popularity: )

Mathematical games from a logical point of view: strategies for games and using games in ...

Infinity (Popularity: )

Exploring the logical basis and practical meaning of infinite sets.

Core Concepts in Critical Thinking (Popularity: )

A classroom guide.

Disjunction (Popularity: )

Theory and history of the binary connective 'or'; from the Stanford Encyclopdia of Philosophy by ...

University of Alberta Logic Course (Popularity: )

Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and ...

Around Gödel's Theorem (Popularity: )

(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.

The Logic Cafe (Popularity: )

An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.

A Problem Course in Mathematical Logic; by Stefan Bilaniuk (Popularity: )

Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness.

Formal Methods Educational Materials (Popularity: )

A repository for information related to formal methods in education, including pointers to existing courses ...

The Daily Translation (Popularity: )

Problems on translation into a logical system, drawn from the current news and updated daily.

Course on Description Logics (Popularity: )

Slides and notes by Enrico Franconi.

Mission: Critical (Popularity: )

Interactive tutorial for critical thinking.

logic-l (Popularity: )

Elementary Logic Discussion List.

Gödel's Theorem and Information (Popularity: )

G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.

OBBLOG (Popularity: )

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

ASL Committee on Logic Education (Popularity: )

Reports and resources from the Association of Symbolic Logic.