Proofs and Computations / Najlacnejšie knihy
Proofs and Computations

Code: 04449225

Proofs and Computations

by Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students an ... more

98.71 €


In stock at our supplier
Shipping in 19 - 25 days
Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Proofs and Computations

You get 247 loyalty points

Book synopsis

Driven by the question, 'What is the computational content of a (formal) proof?', this book studies fundamental interactions between proof theory and computability. It provides a unique self-contained text for advanced students and researchers in mathematical logic and computer science. Part I covers basic proof theory, computability and Gödel's theorems. Part II studies and classifies provable recursion in classical systems, from fragments of Peano arithmetic up to

Book details

Book category Books in English Mathematics & science Mathematics Mathematical foundations

98.71 €

Trending among others

All about us



Shopping guide
Digest
Books by language
Payment
Delivery 2.99 €

Collection points Bratislava a 2642 dalších

Slovensko
България Hrvatska România Magyarország Polska Česko

Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies

Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: