Revision as of 01:58, 2 July 2008 by P.D. Magnus (Talk | contribs)
(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)

Forall x


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.