More From Contributor

£5.24
A gifted fortune-teller from a humble background, Jenny can make even the most sophisticated skeptic believe her predictions simply by batting her smoky eyelashes. Until she meets her match in Gareth Carhart, the Marquess of Blakely, a sworn bachelor & scientist. ...
Archived Product
£6.96
Neil Powell's seventh Carcanet collection explores the deep roots of identity: family histories we inherit, memories we carry, the casual decisions & wrong turnings that add up to make us who we are. Meditative, wry, melancholy & celebratory, this is Neil Powell is at his most versatile & memorable. ...
Archived Product
£5.59
Peter Bowman (David Morse) is an American engineer kidnapped by guerillas while working in Latin America. His wife Alice (Meg Ryan) is unable to raise the requested $5m in ransom money & turns to hostage retrieval expert Terry Thorne (Russell Crowe) for help. Terry tries to negotiate a lower price with the guerrillas, but also finds himself falling for Alice; then, when information about Peter's location filters through, Terry decides it is time to mount an armed rescue mission.A. Confidential'. ...
Archived Product
£9.06
A collection of essays in which the author writes of her own upbringing, her human & literary antecedents, & also dwells on lives & poems. The book

Includes::
writings on T.S. Eliot, George Oppen, Sylvia Plath, Robinson Jeffers, Wallace Stevens, & John Berryman.

...
Archived Product
£29.74
As well as the original material, this revised & enlarged fourth edition has new chapters on treat classical results such as the " Fundamental Theorem of Algebra" & tilings problems, but also recent proofs, such as the Kneser conjecture in graph theory. ...
Archived Product
£72.90
This 'excursion' through the evolution of research mathematics takes in some 40 papers, published up to the 1970s, on proofs of the Cantor-Bernstein theorem. It provides a detailed example of proof-processing in the derivation of Bernstein's division theorem. ...
Archived Product

Proof Theory

Avoiding the cryptic terminology of proof as far as possible, this book starts at an elementary level and displays the connections between infinitary proof theory and generalized recursion theory, especially the theory of inductive definitions. It provides an introduction to ordinal arithmetic and to the Veblen hierarchy.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015

This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.

Use our search facility to see if it is available from an alternative contributor.
  • Availability: Out Of Stock
  • Supplier: Pickabook
  • SKU: 9783540693185
Availability: In Stock
£30.59

Product Description

Avoiding the cryptic terminology of proof as far as possible, this book starts at an elementary level & displays the connections between infinitary proof theory & generalized recursion theory, especially the theory of inductive definitions. It provides an introduction to ordinal arithmetic & to the Veblen hierarchy.

Reviews/Comments

Add New

Intelligent Comparison

Oooops!
We couldn't find anything!
Perhaps this product's unique.... Or perhaps we are still looking for comparisons!
Click to bump this page and we'll hurry up.

Price History

Oooops!
We couldn't find any historical pricing!

Vouchers

No voucher codes found.
Do you know a voucher code for this product or supplier? Add it to Insights for others to use.

Facebook

Jargon Buster

Supplier Information

Pickabook
A UK based company founded in 1998. Offering exceptional value for money on a wide range of books including leather bound books and sticker books.

Over 5 million books in stock - all new
Discounts of upto 80 percent
Excellent customer service
Fast delivery
Page Updated: 2015-03-31 20:45:45

Community Generated Product Tags

Oh No! The productWIKI community hasn't generated any tags for this product yet!
Menu