Sets, Logic, Computation: An Open Introduction to Metalogic
Open Logic Project (2021)
Abstract
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.Author's Profile
Reprint years
2019
ISBN(s)
1077322127 9781077322127
Analytics
Added to PP
2019-04-04
Downloads
529 (#16,406)
6 months
98 (#8,528)
2019-04-04
Downloads
529 (#16,406)
6 months
98 (#8,528)
Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?