Logic of Arithmetic (Lectures on Mathematical Logic)

Felscher, Walter

ISBN 10: 0367398575 / ISBN 13: 9780367398576

Edité par CRC Press, 2019

A propos de cet article

pp. 312.

N° de réf. du vendeur 26383250981

Détails bibliographiques

• Titre: Logic of Arithmetic (Lectures on Mathematical Logic)
• Éditeur: CRC Press
• Date de parution: 2019
• Langue: anglais
• ISBN à 10 chiffres: 0367398575
• ISBN à 13 chiffres: 9780367398576
• Reliure: Couverture souple
• État de l'article: New

A propos de ce titre

Synopsis

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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.

À propos de l?auteur

Felscher, Walter