Logic of Arithmetic (Lectures on Mathematical Logic) - Hardcover
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
Review:
"A complete representation of the current knowledge in Mathematical Logic in a detailed and precise manner." -- Prof. Michael M. Richter of University of Kaiserslautern, Germany
"About this title" may belong to another edition of this title.
- PublisherCRC Press
- Publication date2000
- ISBN 10 9056992686
- ISBN 13 9789056992682
- BindingHardcover
- Edition number1
- Number of pages312
Buy New
Learn more about this copy
US$ 123.26
Shipping:
US$ 18.83
From United Kingdom to U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
003: Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic)
Published by
CRC Press 2000-05-30
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
New
Hardcover
Quantity: 5
Seller:
Rating
Book Description Hardcover. Condition: New. Seller Inventory # 6666-TNFPD-9789056992682
Buy New
US$ 123.26
Convert currency
Stock Image
Logic of Arithmetic
Published by
CRC Press 2000-05-30, Amsterdam :|Abingdon
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description hardback. Condition: New. Language: ENG. Seller Inventory # 9789056992682
Buy New
US$ 142.31
Convert currency
Stock Image
Logic of Arithmetic
Published by
CRC Press
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9789056992682
Buy New
US$ 165.59
Convert currency
Stock Image
Logic of Arithmetic
Published by
CRC Press
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9789056992682_lsuk
Buy New
US$ 157.97
Convert currency
Stock Image
Lectures on Mathematical Logic: The Logic of Arithmetic: Vol 003
Published by
G & B Science Pub
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Brand New. 1st edition. 312 pages. 9.00x6.00x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __9056992686
Buy New
US$ 167.56
Convert currency
Stock Image
Logic of Arithmetic (Lectures on Mathematical Logic)
Published by
CRC Press
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # I-9789056992682
Buy New
US$ 182.00
Convert currency
Stock Image
Logic of Arithmetic
Published by
CRC Press
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description 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$ 165.14
Convert currency
Seller Image
Logic of Arithmetic
Published by
CRC Press
(2000)
ISBN 10: 9056992686
ISBN 13: 9789056992682
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description 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 # 599121787
Buy New
US$ 162.02
Convert currency