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/index.php?title=Forall_x&oldid=17253"
  • About CC Wiki
  • This page was last modified on 2 July 2008, at 01:58.