Record Details

Catalogue Search

◄ Search Results Showing Item 20 of 260

Sets, logic, computation : an open text / remixed by Richard Zach ; contributors, Samara Burns, Dana Hagg.

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

Electronic resources

Subject: Logic > Textbooks.
Genre: Electronic books.

Record details

  • 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

Content descriptions

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).
◄ Search Results Showing Item 20 of 260

Additional Resources