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

Zach, Richard

3.40 out of 5 stars

5 ratings by Goodreads

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

Softcover

ISBN 10: 1077322127 ISBN 13: 9781077322127

Publisher: Independently published, 2019

View all copies of this ISBN edition

2 Used

From US$ 6.51

1 New

From US$ 20.39

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.

"synopsis" may belong to another edition of this title.

PublisherIndependently published
Publication date2019
ISBN 10 1077322127
ISBN 13 9781077322127
BindingPaperback
LanguageEnglish
Number of pages388
Rating
- 3.40 out of 5 stars
  
  5 ratings by Goodreads

Buy Used

Condition: Good

Item in good condition. Textbooks...

View this item

US$ 6.51

Convert currency

FREE shipping within U.S.A.

Destination, rates & speeds

Add to basket

Buy New

View this item

US$ 20.39

Convert currency

US$ 13.56 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Add to basket

Free 30-day returns

Search results for Sets, Logic, Computation: An Open Introduction to Metalogic...

Stock Image