A Home Page for the Axiom of Choice
Introduction and links collection by Eric Schechter. |
A Problem Course in Mathematical Logic; by Stefan Bilaniuk
Volume I: Propositional and First-Order Logic. Volume II: Computability and Incompleteness. |
ASL Committee on Logic Education
Reports and resources from the Association of Symbolic Logic. |
Axiom of Choice and Continuum Hypothesis
Part of the Frequently Asked Questions in Mathematics. |
Beginnings of Set Theory
MacTutor History of Mathematics article. |
Conditionals and Counterfactuals
An investigation into the definition and misuse of the word "if". |
Core Concepts in Critical Thinking
A classroom guide. |
Course on Description Logics
Slides and notes by Enrico Franconi. |
Critical Thinking Books and Software
Critical thinking products for home and classroom for use in mathematics, science, language arts, social studies, and more. |
Disjunction
0 |
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. |
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. |
Introduction to Logic and Recursion Theory
Notes from the class taught by Prof. Sacks in the Spring of 1998. |
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. |
logic-l
Elementary Logic Discussion List. |
Lyceum Tutorial Services
Philosophy and logic tutoring (paid services). |
Mathematics and Logic
Site dedicated to Math and Logic education. Games, software, worksheets, puzzles. |
Mission: Critical
Interactive tutorial for critical thinking. |
OBBLOG
Logic construction toybox. Binary logic simulator to explain binary logic and truth tables. Javascript. |
The Cantor Set
Article in the Platonic Realms, describing a paradox of infinite sets in measure theory. |
The Daily Translation
Problems on translation into a logical system, drawn from the current news and updated daily. |
The Logic Cafe
An online textbook, courseware package, and homework assistant for introductory symbolic logic. Includes multimedia support. |
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. |
The Logic Daemon
On-line proof checker, and texts. |
University of Alberta Logic Course
Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. |
