TY  - BOOK
AU  - Magnus,P.D.
ED  - BC Open Textbook Project,
ED  - BCcampus.
TI  - forall x: an introduction to formal logic 
AV  - BC71 M34 2012
PB  - P.D. Magnus
KW  - Logic
KW  - Textbooks
KW  - Electronic books
N1  - 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
N2  - "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
UR  - https://open.bccampus.ca/find-open-textbooks/?uuid=53395fcd-54f4-4ce4-9466-c59cfa114a0a 
ER  -