Lectures on Mathematical Logic Volume III: The Logic of Arithmetic

Felscher, Walter

ISBN 10: 9056992686 ISBN 13: 9789056992682

Published by Gordon and Breach Science Publishers, Amsterdam, 2000

Condition: Used - Very good Hardcover

Save for Later

Sold by Bookworks [MWABA, IOBA], Beloit, WI, U.S.A.

Association Member:

MWABA
IOBA

Heritage Bookseller
AbeBooks Seller since November 23, 1999

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Very good

Price:

US$ 85.00

Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Third only of a series of volumes of lectures on mathematical theory intended for mature students & lecturers, this discussing "various properties of the arithmetic of natural numbers" including "decidability and undecidability, completeness and incompleteness, consistency and the limitations to establish it." Felscher was a notable lecturer at the University of T�bingen. Hardcover, as pictured; no jacket, as issued. Light wear to book; minor scuffing, small nick to front hinge groove. Text clean; x, 300 pages; index, references, plenty of equations. Size: Octavo.

Seller Inventory # u0419

Contact seller

Report this item

Bibliographic Details

Title

Lectures on Mathematical Logic Volume III: The Logic of Arithmetic

Publisher

Gordon and Breach Science Publishers, Amsterdam

Publication Date

2000

ISBN 10

9056992686

ISBN 13

9789056992682

Binding

Hard Cover

Edition

First Edition.

Condition

Very Good

Dust Jacket Condition

No Jacket

Seller catalogs

About this title

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.

About the Author

Felscher, Walter

"About this title" may belong to another edition of this title.

Store Description

Established in 1991, Bookworks has had an on-line presence since 1999, shipping thousands of books to, well, dozens of countries. We have several thousand books on display at Angela's Attic and the Best of Beloit antique malls on Highway 75/Gardner Street in South Beloit, Illinois, and at the Lake Geneva Antique Mall, 829 Williams Street, Lake Geneva, Wisconsin. We have thousands of uncatalogued books, though we're trying very hard to get them listed; please feel free to email or call with any enquiries. Member MWABA (MidWest Antiquarian Booksellers' Association) and IOBA (International Online Bookseller's Association).

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Bookworks [MWABA, IOBA]
WI, U.S.A.

Sale & Shipping Terms

Terms of Sale

All books subject to prior sale, though we do our best to update daily. We accept major credit cards, PayPal, and most checks.

Domestic PAYPAL USERS: for fastest service, please log into your PayPal account and send payment to bookworks(at)tds(dot)net. Selecting the PayPal option on Abebooks does NOT mean a payment has been made! In the unlikely event the book is unavailable, we will issue a prompt refund. For international orders, we will send an invoice with accurate shipping charges.

All book...

More Information

Shipping Terms

Orders usually ship within 2 business days. International shipping costs are based on octavo-sized books weighing under 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. We will request extra shipping for multi-volume SETS going outside the USA, and for some books with our catalog number starting with 'os'

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 7 business days
First item	US$ 0.00	US$ 7.85

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.