Logic of arithmetic
Auteur :
Felscher, Walter
Éditeur :
Taylor & Francis Ltd
ISBN :
9789056992682
Date de publication :
30 mai 2000
Dimensions :
22,9 x 15,2 cm
Poids :
740 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulae. 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).