Sets, Logic, Computation: An Open Introduction to Metalogic

Open Logic Project (2021)
  Copy   BIBTEX

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

Richard Zach
University of Calgary

Analytics

Added to PP
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?