search for books and compare prices
cover image
Selected Papers in Proof Theory
Price
Store
Arrives
Preparing
Shipping
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Jump down to see edition details for Selected Papers in Proof Theory: Hardcover
Jump down to see edition details for Freeman's: Arrival: Hardcover
Bibliographic Detail
Publisher North-Holland
Publication date August 1, 1992
Binding Hardcover
Book category Adult Non-Fiction
ISBN-13 9780444896193
ISBN-10 0444896198
Availability§ Out of Print
Published in Europe
Original list price $147.00
Other format details sci/tech
§As reported by publisher
Summaries and Reviews
Amazon.com description: Product Description: 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. The main tool and unifying topic here is normalization, i.e. putting proofs into a normal form. The book presupposes some familiarity with the definition and elementary properties of Gentzen-type systems but little more. The first three papers introduce various normalization procedures different from popular ones. The next group deals with unwinding proofs, that is the extraction of an explicit realization from the proof of existential theorems. Normalization (or more precisely, normal form theorems) is applied to the solution of some problems in the following two papers. A separate group is formed by three papers dealing with applications of the theory of proofs to algebra, more specifically to coherence theorems in category theory. The last paper of the volume is a survey of proof theory and elementary model theory for modal logic up to the year 1974.

Editions
This edition contains multiple works--typically stories or entire novels--that are found in different collections. Below find each work in this edition grouped by how you can find each.
Editions for the work Selected Papers in Proof Theory
Hardcover
The price comparison is for this 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.
Editions for the work Freeman's: Arrival
Hardcover
The price comparison is for this edition
With Grigorii E. Mints | from North-Holland (August 1, 1992); titled "Selected Papers in Proof Theory"
9780444896193 | details & prices | List price $147.00
This edition also contains Selected Papers in Proof Theory
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.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.