Sets, logic, computation : an open text

Zach, Richard (author.). Burns, Samara, (contributor.). Hagg, Dana, (contributor.). BC Open Textbook Project, (distributor.). BCcampus. (Added Author).

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.

Record details

Physical Description: 1 online resource (xviii, 360 pages) colour illustrations
remote
Publisher: [Place of publication not identified] : Richard Zach, 2017.
Distributor: [Victoria] : BCcampus, BC Open Textbook Project

Content descriptions

Information Relating to Copyright Status:	This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike License.
Source of Description Note:	This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license. Description based on online resource; title from pdf title page (viewed on April 11, 2019).