menu
{ "item_title" : "Handbook of Proof Theory", "item_author" : [" Samuel R. Buss", "S. R. Buss", "S. R. Buss "], "item_description" : "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.", "item_img_path" : "https://covers2.booksamillion.com/covers/bam/0/44/489/840/0444898409_b.jpg", "price_data" : { "retail_price" : "182.00", "online_price" : "182.00", "our_price" : "182.00", "club_price" : "182.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Handbook of Proof Theory|Samuel R. Buss

Handbook of Proof Theory

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

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.

This item is Non-Returnable

Details

  • ISBN-13: 9780444898401
  • ISBN-10: 0444898409
  • Publisher: Elsevier
  • Publish Date: July 1998
  • Dimensions: 9.21 x 6.14 x 1.69 inches
  • Shipping Weight: 2.91 pounds
  • Page Count: 810

Related Categories

You May Also Like...

    1

BAM Customer Reviews