Forall x
Author: P.D. Magnus
Genre: NonFiction
Publication Date: 2005
License: Attribution-ShareAlike 3.0

An introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.

See the forall x homepage.

Retrieved from "http://wiki.creativecommons.org/Forall_x"