Incompleteness and Computability: An Open Introduction to GÃ del's Theorems (Open Logic Project Textbooks)

Zach, Richard

ISBN 10: 1077323395 ISBN 13: 9781077323391
Published by Independently published, 2019
Used Paperback

From WorldofBooks, Goring-By-Sea, WS, United Kingdom Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since 16 March 2007

This specific item is no longer available.

About this Item

Description:

Seller Inventory # GOR014008938

Report this item

Synopsis:

This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.

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

Bibliographic Details

Title: Incompleteness and Computability: An Open ...
Publisher: Independently published
Publication Date: 2019
Binding: Paperback
Condition: Fine

Top Search Results from the AbeBooks Marketplace

Stock Image

Zach, Richard
Published by Independently published, 2019
ISBN 10: 1077323395 ISBN 13: 9781077323391
Used Paperback

Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR011708102

Contact seller

Buy Used

£ 4.60
£ 5.60 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Zach, Richard
Published by Independently published, 2019
ISBN 10: 1077323395 ISBN 13: 9781077323391
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Gut. Zustand: Gut | Seiten: 328 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 43181982/3

Contact seller

Buy Used

£ 7.37
£ 91.60 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Zach, Richard
Published by Independently published, 2019
ISBN 10: 1077323395 ISBN 13: 9781077323391
Used Softcover

Seller: St Vincent de Paul of Lane County, Eugene, OR, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Very Good. paperback 100% of proceeds go to charity! May have signs of use, wear and minor cosmetic defects. Seller Inventory # V-04-3819

Contact seller

Buy Used

£ 7.62
£ 2.95 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Stock Image

Zach, Richard
Published by Independently published, 2019
ISBN 10: 1077323395 ISBN 13: 9781077323391
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 281 pages. 9.69x7.44x0.64 inches. In Stock. Seller Inventory # zk1077323395

Contact seller

Buy New

£ 16.02
£ 12.50 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket

Seller Image

Zach, Richard:
ISBN 10: 1077323395 ISBN 13: 9781077323391
Used , Softcover/Paperback

Seller: Fundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

, Softcover/Paperback. Condition: Sehr gut. 328 Seiten Fresh and clean copy in good condition. Frisch erhaltenes und sauberes Exemplar in gutem Zustand. Contents: Introduction to Incompleteness - Recursive Functions - Arithmetization of Syntax - Representability in Q - Incompleteness and Provablity - Models of Arithmetic - Second-Order Logic - The Lambda Calculus - Derivations in Arithmetic Theories - First Order Logic - Natural Deduction - Biographies ISBN 9781077323391 Sprache: Englisch Gewicht in Gramm: 545. Seller Inventory # 1267983

Contact seller

Buy Used

£ 19.77
£ 34.90 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket