Stock Image

Selected Papers in Proof Theory

Mints, Grigorii E.

0 ratings by Goodreads
ISBN 10: 8870882284 / ISBN 13: 9788870882285
Published by North-Holland, New York, 1992
Condition: Good Hardcover
From Row By Row Bookshop (Sugar Grove, NC, U.S.A.)

AbeBooks Seller Since May 17, 1998

Quantity Available: 1

Buy Used
Price: US$ 75.00 Convert Currency
Shipping: US$ 4.00 Within U.S.A. Destination, Rates & Speeds
Add to basket

30 Day Return Policy

About this Item

An ex-library copy in light gray hard covers. The usual ex-libris markings. The binding is sound, the text is clean, and there is little cover wear. Bookseller Inventory # 038857

Ask Seller a Question

Bibliographic Details

Title: Selected Papers in Proof Theory

Publisher: North-Holland, New York

Publication Date: 1992

Binding: Hardcover

Book Condition:Good

Dust Jacket Condition: No Dust Jacket

Edition: First U.S. Edition.

About this title


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.

"About this title" may belong to another edition of this title.

Store Description

Row by Row Bookshop is a used and antiquarian bookstore with an emphasis on special topic non-fiction. The owners have over 25 years of bookselling experience. We currently only offer our selections online.

Visit Seller's Storefront

Terms of Sale:

We accept checks or money orders in US dollars drawn on a US bank, MC, Visa and Paypal. While we welcome your telephone call, an advance e-mail allows us to process your order more efficiently.

Shipping Terms:

Shipping via media mail is $4.00 for the first book and $1.00 for each additional in the US. Shipping via Priority Mail in the US is $7.00 for the first book and $1.75 for each additional. We insure all purchases over $60.00 at our expense, insurance is available for other purchases upon request at $1.00 per item. PLEASE SPECIFY SHIPPING PREFERENCE. IF NO PREFERENCE IS SPECIFIED, BOOKS WILL BE SHIPPED VIA MEDIA MAIL. Default (standard) shipping outside the US and Canada is International Priority flat rate envelope at $24.00. Please note that the rate for any other shipping choice than the default is an estimate and actual rate will be charged.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order PayPal