Forall x

From Creative Commons
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.