Items related to Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
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.
Search results for Logic of Arithmetic: 03 (Lectures on Mathematical Logic)
Seller Image
Logic of Arithmetic
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 37659200-n
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
Quantity: 1 available
Stock Image
Logic of Arithmetic (Lectures on Mathematical Logic)
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 312. Seller Inventory # 379604474
Quantity: 3 available
Stock Image
Logic of Arithmetic
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 312 pages. 9.02x5.98x0.67 inches. In Stock. This item is printed on demand. Seller Inventory # __0367398575
Quantity: 1 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
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
Quantity: Over 20 available
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
Quantity: Over 20 available
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
Quantity: Over 20 available
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
Quantity: 3 available
Seller Image
Felscher, W: Logic of Arithmetic
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Felscher, WalterFor 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 expre. Seller Inventory # 594579387
Quantity: Over 20 available