Proofs and Computations (English, Helmut Schwichtenberg | Stanley S. Wainer)
by Helmut Schwichtenberg | Stanley S. Wainer
Delivery options
₹9,763
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹9,763
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521517690
ISBN-10
0521517699
Author
Helmut Schwichtenberg | Stanley S. Wainer
About the Book
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 Pe…
ISBN: 9780521517690
ISBN-13: 9780521517690
ISBN-10: 0521517699
Frequently Asked Questions
What is the price of Proofs and Computations?
Proofs and Computations starts from ₹9763 at BookBajar. Available in Paperback.
Who is the author of Proofs and Computations?
Helmut Schwichtenberg | Stanley S. Wainer is the author of Proofs and Computations. Browse more books by Helmut Schwichtenberg | Stanley S. Wainer on BookBajar.
Is Proofs and Computations available in Paperback and Hardcover?
Yes, Proofs and Computations is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Proofs and Computations?
Yes, BookBajar offers free delivery for Proofs and Computations across India. No minimum order value required.
Is Cash on Delivery available for Proofs and Computations?
Yes, Cash on Delivery (COD) is available for Proofs and Computations on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521517690
🛒 Customers Also Bought
An Illustrated Guide to Anatomical Eponyms (English, Hans J. Ten Donkelaar | Marina Quartu | David Kachlík)
₹16,497
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Chemoarchitecture of the Brain (English, R. Nieuwenhuys)
₹5,648
Gerichtliche Medizin (English, Berthold Mueller)
₹4,171Related Products
Io: A New View of Jupiter’s Moon (English, Rosaly M. C. Lopes | Katherine de Kleer | James Tuttle Keane)
₹11,975
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Sternverzeichnis Enthaltend Alle Sterne Bis Zur 6.5ten Grösse Für Das Jahr 1900.0 (English, Na Ambronn)
₹3,508
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229