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.
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."
Posted: 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
