Lectures on Mathematical Logic: The Logic of Arithmetic: Vol 003

Felscher, Walter (Author)

ISBN 10: 9056992686 / ISBN 13: 9789056992682

Edité par G & B Science Pub, 2000

A propos de cet article

1st edition. 312 pages. 9.00x6.00x0.75 inches. In Stock.

N° de réf. du vendeur x-9056992686

Détails bibliographiques

• Titre: Lectures on Mathematical Logic: The Logic of Arithmetic: Vol 003
• Éditeur: G & B Science Pub
• Date de parution: 2000
• Langue: anglais
• ISBN à 10 chiffres: 9056992686
• ISBN à 13 chiffres: 9789056992682
• Reliure: Hardcover
• État de l'article: Brand 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 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.

À propos de l?auteur

Felscher, Walter