TY  - BOOK
AU  - Zach,Richard
AU  - Burns,Samara
AU  - Hagg,Dana
ED  - BC Open Textbook Project,
ED  - BCcampus.
TI  - Sets, logic, computation: an open text 
AV  - BC71 .S48 2017eb
PB  - Richard Zach
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  - "This textbook is based on the Open Logic Project. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic"--BCcampus website
UR  - https://open.bccampus.ca/browse-our-collection/find-open-textbooks/?uuid=fda21686-ebee-401c-8f7d-326a37df2f30&contributor=&keyword=&subject=
UR  - http://solr.bccampus.ca:8001/bcc/file/fda21686-ebee-401c-8f7d-326a37df2f30/1/phil379-screen.pdf
ER  -