Il libro è attualmente esaurito
Maggiori informazioni sul libro
The book explores a method for deciding the deduction of quantified formulas in specific arithmetic fragments, particularly those involving order-plus-successor and order-plus-addition, known as Pressburger arithmetic. It introduces an algorithm for eliminating quantifiers, which is crucial for establishing consistency proofs in these arithmetic systems. This work offers significant insights into the foundations of propositional logic and its applications in mathematical reasoning.
Acquisto del libro
Logic of Arithmetic, Walter Felscher
- Lingua
- Pubblicato
- 2019
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.