search for books and compare prices
Selected Papers in Proof Theory
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
With John Freeman (other contributor) | from North-Holland (August 1, 1992)
9780444896193 | details & prices | List price $147.00
This edition also contains Freeman's: Arrival
About: This collection includes papers devoted to the structural theory of proofs, which was born in the framework of Hilbert's program and is applied now in connection with various projects using the effective contents of formalized proofs.