English

forall x - An Introduction to Formal Logic

forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.

Sign in with your free account to read, download EPUBs or listen.