Difference between revisions of "Forall x"

From Creative Commons
Jump to: navigation, search
(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.

See the forall x homepage.