Logic of Arithmetic
Price for Eshop: 2023 Kč (€ 80.9)
VAT 0% included
New
E-book delivered electronically online
E-Book information
Annotation
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 alg
Ask question
You can ask us about this book and we'll send an answer to your e-mail.