Forall x

From Creative Commons
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...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


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.

See the forall x homepage.