Lectures on Mathematical Logic: The Logic of Arithmetic (003) - Couverture rigide

Felscher, Walter

 
9789056992682: Lectures on Mathematical Logic: The Logic of Arithmetic (003)

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Felscher, Walter

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780367398576: Logic of Arithmetic

Edition présentée

ISBN 10 :  0367398575 ISBN 13 :  9780367398576
Editeur : Routledge, 2019
Couverture souple