"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
Notes
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
Description based on version viewed on BCcampus OpenEd website; title from pdf title page (viewed on November 4, 2013)