| 1. | The Daily Translation | | | Problems on translation into a logical system, drawn from the current news and updated daily.
www.univnorthco.edu |
| 3. | 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
www-csli.stanford.edu |
| 4. | Games Mathematicians Play | | | Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
www.math.usf.edu |
| 5. | Infinity | | | Exploring the logical basis and practical meaning of infinite sets.
www.c-parr.freeserve.co.uk |
| 6. | University of Alberta Logic Course | | | Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar.
ugweb.cs.ualberta.ca |
| 8. | Gödel's Theorem and Information | | | G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
www.cs.auckland.ac.nz |
| 11. | 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.
www.cs.indiana.edu |
| 12. | OBBLOG | | | Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript.
www.geocities.com |
| 13. | 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.
logictutorial.com |
| 15. | The Logic Cafe | | | An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support.
www.oakland.edu |
| 16. | Disjunction | | | Theory and history of the binary connective 'or'; from the Stanford Encyclopdia of Philosophy by Ray Jennings.
plato.stanford.edu |
| | |