Forall x
| Forall x | |
|---|---|
| Author: | P.D. Magnus |
| Genre: | NonFiction |
| Publisher: | |
| ISBN: | |
| Publication Date: | 2005 |
| License: | Attribution-ShareAlike 3.0 |
| CC-Licensed Version: | |
| Print version for purchase: | {{{pvfp}}} |
| Pages: | |
An introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.
