forall x : an introduction to formal logic /
P. D. Magnus.
- version 1.29 [120106].
- 1 online resource.
This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License. This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license.
"forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic."--BCcampus website.