{
"item_title" : "Proof Theory",
"item_author" : [" Peter Aczel", "Harold Simmons", "Stanley S. Wainer "],
"item_description" : "This work is derived from the SERC Logic for IT Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.",
"item_img_path" : "https://covers1.booksamillion.com/covers/bam/0/52/105/416/0521054168_b.jpg",
"price_data" : {
"retail_price" : "53.00", "online_price" : "53.00", "our_price" : "53.00", "club_price" : "53.00", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Proof Theory : A Selection of Papers from the Leeds Proof Theory Programme 1990
Other Available Formats
Overview
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
This item is Non-Returnable
Customers Also Bought
- 1
Details
- ISBN-13: 9780521054164
- ISBN-10: 0521054168
- Publisher: Cambridge University Press
- Publish Date: January 2008
- Dimensions: 9 x 6 x 0.72 inches
- Shipping Weight: 1.04 pounds
- Page Count: 320
Related Categories
You May Also Like...
- 1
