About This Textbook
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.
What’s In This Book
This resource is licensed under a Creative Commons Attribution 4.0 International License.
ShareYou may copy and redistribute the material in any medium or format.
AdaptYou may remix, transform, and build upon the material for any purpose, even commercially.
As long as you follow these terms:
Give creditYou must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
Other things to know:
- The licensor cannot revoke these freedoms as long as you follow the license terms.
- You do not have to comply with the license for elements of the material in the public domain or where your use is permitted by an applicable exception or limitation.
- No warranties are given. The license may not give you all of the permissions necessary for your intended use. For example, other rights such as publicity, privacy, or moral rights may limit how you use the material.