Library Home || Full Table of Contents || Library Help
|J. David Velleman, Dept. of Philosophy, Univ. of Michigan|
|An interactive textbook in logic. Topics and interactive software include: Boolean searching; logic circuits; truth-tables; Turing machines; foundations of probability; modal logic with possible-worlds diagrams; quantification. Includes interactive exercises.|
|Levels:||High School (9-12), College|
|Resource Types:||Graphics, Courses, Books, Instructional Packages/Games, Web Interactive/Java|
© 1994- The Math Forum at NCTM. All rights reserved.