Logic of Arithmetic by Walter Felscher (English) Hardcover Book
US $125.00US $125.00
Sep 14, 21:50Sep 14, 21:50
Picture 1 of 2
Gallery
Picture 1 of 2
Have one to sell?
Logic of Arithmetic by Walter Felscher (English) Hardcover Book
US $125.00
ApproximatelyS$ 161.46
Condition:
Very Good
A book that has been read but is in excellent condition. No obvious damage to the cover, with the dust jacket included for hard covers. No missing or damaged pages, no creases or tears, and no underlining/highlighting of text or writing in the margins. May be very minimal identifying marks on the inside cover. Very minimal wear and tear.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
US $5.22 (approx S$ 6.74) USPS Media MailTM.
Located in: Cathedral City, California, United States
Delivery:
Estimated between Wed, 1 Oct and Fri, 3 Oct to 94104
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:235964573412
Item specifics
- Condition
- Book Title
- Logic of Arithmetic
- ISBN-13
- 9789056992682
- ISBN
- 9789056992682
About this product
Product Identifiers
Publisher
CRC Press LLC
ISBN-10
9056992686
ISBN-13
9789056992682
eBay Product ID (ePID)
1692417
Product Key Features
Number of Pages
312 Pages
Publication Name
Logic of Arithmetic
Language
English
Publication Year
2000
Subject
General, Set Theory, Logic
Type
Textbook
Subject Area
Mathematics
Format
Hardcover
Dimensions
Item Height
1 in
Item Weight
24.4 Oz
Item Length
9.5 in
Item Width
7.7 in
Additional Product Features
Edition Number
3
Intended Audience
College Audience
LCCN
2002-421346
Dewey Edition
23
Volume Number
Vol. 3
Illustrated
Yes
Dewey Decimal
511.3
Table Of Content
1. Consistency, Decidability, Completeness for the Arithmetic of Order with Successor 2. Consistency, Decidability, Completeness for the Arithmetic of Addition and Order 3. Antinomies, Pseudomenos, and Their Analysis 4. Undefinability and Incompleteness, General Theory 5.Elementary and Primitive Recursive Functions 6. Recursive Relations and Recursive Functions 7. The Arithmitization of Syntax 8. Consequences of Arithmetization 9. Axioms for Arithmetic 10. Peano Arithmetic PA and Its Expansion PR 11. Unprovability of Consistency
Synopsis
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifiers which, in turn, is also applied to obtain consistency proofs for these fragments.
LC Classification Number
QA9.2.F45 2000
Item description from the seller
Seller feedback (8,244)
This item (1)
All items (8,244)
- eBay automated Feedback- Feedback left by buyer.Past monthOrder completed successfully – tracked and on time
- eBay automated Feedback- Feedback left by buyer.Past monthOrder completed successfully – tracked and on time
- 8***n (165)- Feedback left by buyer.Past monthVerified purchaseAll good!
Seller feedback (8,244)
This item (1)
All items (8,244)
- eBay automated Feedback- Feedback left by buyer.Past monthOrder completed successfully – tracked and on time
- eBay automated Feedback- Feedback left by buyer.Past monthOrder completed successfully – tracked and on time
- 8***n (165)- Feedback left by buyer.Past monthVerified purchaseAll good!