Forall x
Revision as of 01:58, 2 July 2008 by 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...)
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.