Zach, Richard, <br/><br/>
Sets, logic, computation :  an open text / 
remixed by Richard Zach ; contributors, Samara Burns, Dana Hagg. 
 - 1 online resource (xviii, 360 pages) colour illustrations 
<br/><br/> 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. 
<br/><br/> "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. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic--Textbooks.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>BC71  / .S48 2017eb