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
Logic of Arithmetic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 37659200-n
Stock Image
Logic of Arithmetic (Lectures on Mathematical Logic)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 312. Seller Inventory # 379604474
Buy New
US$ 95.76
Shipping:
US$ 8.55
From United Kingdom to U.S.A.
Quantity: 3 available
Seller Image
Logic of Arithmetic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 37659200
Stock Image
Logic of Arithmetic (Lectures on Mathematical Logic)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 312. Seller Inventory # 26383250981
Stock Image
Logic of Arithmetic
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9780367398576
Seller Image
Logic of Arithmetic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 37659200
Buy Used
US$ 92.10
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logic of Arithmetic
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. 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 # L0-9780367398576
Buy New
US$ 106.90
Shipping:
US$ 6.60
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logic of Arithmetic (Lectures on Mathematical Logic)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780367398576_new
Buy New
US$ 103.15
Shipping:
US$ 15.76
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logic of Arithmetic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 37659200-n
Buy New
US$ 99.81
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logic of Arithmetic
Published by
Taylor & Francis Ltd, 2019
ISBN 10: 0367398575
ISBN 13: 9780367398576
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 580. Seller Inventory # B9780367398576
Buy New
US$ 99.83
Shipping:
US$ 21.77
From United Kingdom to U.S.A.
Quantity: 1 available