Sets, logic, computation : an open text / remixed by Richard Zach ; contributors, Samara Burns, Dana Hagg.
Search for related items by subject
|Subject:||Logic > Textbooks.
- Physical Description: 1 online resource (xviii, 360 pages) colour illustrations
- Publisher: [Place of publication not identified] : Richard Zach, 2017.
- Distributor: [Victoria] : BCcampus, BC Open Textbook Project
|Summary:|| "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.
|Source of Description Note:|| Description based on online resource; title from pdf title page (viewed on April 11, 2019).