Browse by Subject Area

Our shared collection with BCcampus breaks down resources by subject area. You can also filter by ancillaries, accessibility criteria, review or adoption status, as you search for the best fit in your courses. We’re always here to help if you’re not sure where to start.

You can also browse a growing collection of Made-in-Manitoba resources by visiting our PressbooksEDU catalogue.

Browse by Subject Area

Our shared collection with BCcampus breaks down resources by subject area. You can also filter by ancillaries, accessibility criteria, review or adoption status, as you search for the best fit in your courses. We’re always here to help if you’re not sure where to start.

You can also browse a growing collection of Made-in-Manitoba resources by visiting our PressbooksEDU catalogue.

textbook cover image

Creative Commons License
Sets, Logic, Computation: An Open Introduction to Metalogic by Richard Zach; University of Calgary is licensed under a Creative Commons Attribution 4.0 International License, except where otherwise noted.

Sets, Logic, Computation: An Open Introduction to Metalogic

Description: Sets, Logic, Computation is an introductory textbook on metalogic. 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. The audience is undergraduate students with some background in formal logic, e.g., what is covered by forall x. NOTE: It's title has been changed from "Sets, Logic, Computation: An Open Logic Text" to "Sets, Logic, Computation: An Open Introduction to Metalogic."

April 1, 2019 | Updated: January 22, 2021
Author: Richard Zach; University of Calgary

Subject Areas
Humanities, Philosophy

Original source
slc.openlogicproject.org

Notifications
Stay informed about updates to this textbook

Adoptions (faculty):
Contact us if you are using this textbook in your course

Further Adaptations:
Contact us if you are adapting this book


There are currently no reviews for this book.

Be the first to request to review this textbook