Difference between revisions of "Forall x"
P.D. Magnus (talk | contribs) (New page: {{Books |author=P.D. Magnus |genre=NonFiction |pubdate=2005 |license=Attribution-ShareAlike 3.0 }} An introductory textbook in formal logic. It covers translation, proofs, and formal seman...) |
(No difference)
|
Latest revision as of 02:58, 2 July 2008
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.