Handbook of Proof Theory (1998, Hardcover) 
Handbook of Proof Theory (1998, Hardcover)

 
Handbook of Proof Theory (1998, Hardcover)

Publisher: Elsevier Science Ltd
Publication Date: 1998-07-09
Series: Studies in Logic and the Foundations of Mathematics, 137
Language: English
Format: Hardcover
ISBN-10: 0444898409
ISBN-13: 9780444898401
Product ID: EPID944460
Save this productSell oneWrite a review
Portions of this page Copyright 1995 - 2010 Muze Inc. All rights reserved.
Refine search
Preferences
Distance
Please enter valid zipcode.
Please select a valid popular city.
Please enter valid zipcode or select a valid popular city.
Within miles of ZIP
6 results|Group by condition
Details
Publication Date:1998-07-09
Series:Studies in Logic and the Foundations of Mathematics, 137
Editor:Samuel R. Buss

Size
Length:811 pages
Height:9.3 in
Width:6.5 in
Thickness:1.5 in
Weight:49.6 oz

Publisher's Note
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.

The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

See an error? Submit a change request

    About eBay | Announcements | Security Center | Resolution Center | eBay Toolbar | Policies | Government Relations | Site Map | Help
    Copyright © 1995-2009 eBay Inc. All Rights Reserved. Designated trademarks and brands are the property of their respective owners. Use of this Web site constitutes acceptance of the eBay User Agreement and Privacy Policy.
    eBay official time

    Error
    We're sorry, but there's been an error.
    Please try again.