What do you think?
Rate this book
Sets, Logic, Computation: An Open Logic Text
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.
366 pages, Paperback
Published September 11, 2017
1 person is currently reading
4 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.