Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)

Zach, Richard

ISBN 10: 1077322127 / ISBN 13: 9781077322127

Published by Independently published, 2019

About this Item

Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

Seller Inventory # ZBV.1077322127.VG

Bibliographic Details

• Title: Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
• Publisher: Independently published
• Publication Date: 2019
• Language: English
• ISBN 10: 1077322127
• ISBN 13: 9781077322127
• Binding: Soft cover
• Condition: very_good

About this title

Synopsis

A textbook on the semantics, proof theory, and metatheory of first-order logic. 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. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.