Il libro è attualmente esaurito
Maggiori informazioni sul libro
The book explores a method for determining the decidability 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 also utilized to establish consistency proofs for these mathematical fragments, providing valuable insights into propositional logic and its applications in arithmetic.
Acquisto del libro
Logic of Arithmetic, Walter Felscher
- Lingua
- Pubblicato
- 2000
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.