{
"item_title" : "Metamathematics of First Order Arithmetic",
"item_author" : [" Petr Hajek", "Pavel Pudlak "],
"item_description" : "This is a monograph on the metamathematics of first order arithmetic. The primary readership is active researchers and graduate students in mathematical logic, in particular those specializing in theories of the natural numbers. The middle part of the book on incompleteness may be of interest to philosophers. The last part, on computational complexity, has applications to computer science.",
"item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/54/063/648/354063648X_b.jpg",
"price_data" : {
"retail_price" : "139.99", "online_price" : "139.99", "our_price" : "139.99", "club_price" : "139.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Overview
This is a monograph on the metamathematics of first order arithmetic. The primary readership is active researchers and graduate students in mathematical logic, in particular those specializing in theories of the natural numbers. The middle part of the book on incompleteness may be of interest to philosophers. The last part, on computational complexity, has applications to computer science.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783540636489
- ISBN-10: 354063648X
- Publisher: Springer
- Publish Date: March 1998
- Dimensions: 9.23 x 6.14 x 1.12 inches
- Shipping Weight: 1.6 pounds
- Page Count: 460
Related Categories
