Sets, Logic, Computation: An Open Logic Text
Released: Sep 11, 2017
Publisher: CreateSpace Independent Publishing Platform
Format: Paperback, 366 pages
to view more data
Description:
An introduction to the metatheory of first-order logic. Covers naive set theory, semantics and proof theory of first-order logic (sequent calculus and natural deduction), the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines and the undecidability of first-order logic.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.