Sets, Logic, Computation: An Open Introduction to Metalogic

Open Logic Project (2021)
Download Edit this record How to cite View on PhilPapers
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.
Reprint years
2019, 2021
1077322127   9781077322127
PhilPapers/Archive ID
Upload history
First archival date: 2019-04-04
Latest version: 3 (2021-07-23)
View other versions
Added to PP index

Total views
331 ( #21,000 of 65,552 )

Recent downloads (6 months)
63 ( #12,484 of 65,552 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.