Logic of Arithmetic (Lectures on Mathematical Logic). This item is unavailable.
Language: English
Published by CRC Press, 2000
- First Edition
- Hardcover
- Used
Seller: JuddSt.Pancras, London, United KingdomJuddSt.Pancras
5-star seller
AbeBooks seller since October 27, 2008
Association member: PBFA
Unavailable
Hardcover
Condition: Used - As new
£ 48.50
Seller Inventory # c31593
- Title
- Logic of Arithmetic (Lectures on Mathematical Logic)
- Author
- Felscher, Walter
- Publisher
- CRC Press
- Publication year
- 2000
- Condition
- As New
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 9056992686
- ISBN 13
- 9789056992682
- Edition
- 1st Edition
- Dimensions
- 8vo - over 7¾ - 9¾" tall
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 the title" may belong to another edition of this title.