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

Zach, Richard

ISBN 13: 9798536395509

Published by Independently published, 2021

About this Item

Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Seller Inventory # M0B099C47ND8-G

Bibliographic Details

• Title: Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
• Publisher: Independently published
• Publication Date: 2021
• Language: English
• ISBN 13: 9798536395509
• Binding: Soft cover
• Condition: good

About this title

Synopsis

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

About the Author

Richard Zach is Professor of Philosophy at the University of Calgary, Canada. He works in logic, history of analytic philosophy, and the philosophy of mathematics. In logic, his main interests are non-classical logics and proof theory. He has also written on the development of formal logic and historical figures associated with this development such as Hilbert, Gödel, and Carnap. He has held visiting appointments at the University of California, Irvine, McGill University, and the University of Technology, Vienna.