Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Proofs and Computations

Language EnglishEnglish
Book Hardback
Book Proofs and Computations Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg
Libristo code: 04449225
Publishers Cambridge University Press, December 2011
Driven by the question, 'What is the computational content of a (formal) proof?', this book studies... Full description
? points 269 b
39 016 Ft
In stock at our supplier Shipping in 9-15 days

Up to 30 days for returns

Customers also purchased

Coming soon
Benni Bärenstark. Band 4 eyo / Book Hardback
common.buy 4 270 Ft
LA PRIMAVERA DE LOS ARABES Cyrille Pomès / Book Paperback
common.buy 7 905 Ft
El telescopio de Schopenhauer Donovan / Book Paperback
common.buy 7 097 Ft
DÓNDE UNO CAE LORENZO SILVA / Book Hardback
common.buy 9 385 Ft
En un tour de main Jo Witek / Book Paperback
common.buy 4 590 Ft
Le Paris des Merveilles - vol. 02/2 / Book Hardback
common.buy 7 111 Ft

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Proofs and Computations
Author Helmut (Ludwig-Maximilians-Universitat Munchen) Schwichtenberg, Stanley S. (University of Leeds) Wainer
Language English
Binding Book - Hardback
Date of issue 2011
Number of pages 480
EAN 9780521517690
ISBN 0521517699
Libristo code 04449225
Publishers Cambridge University Press
Weight 884
Dimensions 233 x 158 x 29

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Mindful Aesthetics Chris Danta / Book Hardback
common.buy 68 299 Ft
Over the Sea and Far Away, Being a Narrative of Wanderings Round the World. with Illustrations. Thomas Woodbine Hinchliff / Book Paperback
common.buy 11 107 Ft
Three New Deals Wolfgang Schivelbusch / Book Paperback
common.buy 6 083 Ft
THE COMPLETE PAINTING AND DRAWING HANDB Simon Tuite / Book Hardback
common.buy 14 975 Ft
Reassessing Egalitarianism J. Moss / Book Paperback
common.buy 20 259 Ft
In the Crucible: Tales from Real Life (1909) Isabel Cecilia Williams / Book Paperback
common.buy 9 458 Ft
Everything I Need to Know I Learned from E.T. the Extra-Terrestrial NBC Universal / E-book Adobe ePub DRM
common.buy 3 923 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?