Revision as of 01:58, 2 July 2008 by P.D. Magnus (Talk | contribs)
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.