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.
"synopsis" may belong to another edition of this title.
About the Author
Felscher, Walter
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logic of Arithmetic (Lectures on Mathematical Logic)
Seller Image
Lectures on Mathematical Logic Volume III: The Logic of Arithmetic
Published by
Gordon and Breach Science Publishers, Amsterdam, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Used
Hardcover
First Edition
Seller: Bookworks [MWABA, IOBA], Beloit, WI, U.S.A.
Seller rating 5 out of 5 stars
Hard Cover. Condition: Very Good. No Jacket. First Edition. 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
Stock Image
Logic of Arithmetic (Lectures on Mathematical Logic)
Published by
CRC Press, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Used
Hardcover
First Edition
Seller: JuddSt.Pancras, London, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. 1st Edition. Seller Inventory # c31593
Buy Used
US$ 65.59
Shipping:
US$ 28.88
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
003: Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: New. Seller Inventory # 6666-TNFPD-9789056992682
Buy New
US$ 128.82
Shipping:
US$ 20.33
From United Kingdom to U.S.A.
Quantity: 5 available
Stock Image
Logic of Arithmetic (Lectures on Mathematical Logic)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9789056992682
Stock Image
Logic of Arithmetic
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 312 This item is printed on demand. Seller Inventory # 5360621
Buy New
US$ 170.42
Shipping:
US$ 8.53
From United Kingdom to U.S.A.
Quantity: 3 available
Seller Image
Lectures on Mathematical Logic : The Logic of Arithmetic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 926405-n
Seller Image
Lectures on mathematical logic / 3 : the logic of arithmetic
Published by
Gordon and Breach, Amsterdam, 2000
ISBN 10: 9056992686
ISBN 13: 9789056992682
Used
Hardcover
Seller: Schürmann und Kiewning GbR, Naumburg, Germany
Seller rating 5 out of 5 stars
Hardcover/Pappeinband. Condition: Sehr gut. x, 300 Seiten Sprache: Englisch Gewicht in Gramm: 650. Seller Inventory # 129947
Stock Image
Logic of Arithmetic
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 312. Seller Inventory # 262520114
Stock Image
Logic of Arithmetic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9789056992682
Stock Image
Logic of Arithmetic
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9789056992682
Buy New
US$ 187.76
Shipping:
US$ 6.59
From United Kingdom to U.S.A.
Quantity: Over 20 available