Logic of Arithmetic (Lectures on Mathematical Logic). Cet article n’est pas disponible.
Langue : anglais
Edité par CRC Press, 2000
- Éd. originale
- Livre relié
- Occasion
Vendeur : JuddSt.Pancras, London, Royaume-UniJuddSt.Pancras
Vendeur avec une évaluation de 5 étoiles
Vendeur AbeBooks depuis 27 octobre 2008
Membre d’une association professionnelle : PBFA
Indisponible
Livre relié
Etat: Occasion - Comme neuf
EUR 59,58
N° de réf. du vendeur c31593
- Titre
- Logic of Arithmetic (Lectures on Mathematical Logic)
- Auteur
- Felscher, Walter
- Éditeur
- CRC Press
- Année de publication
- 2000
- État de l'article
- As New
- Reliure
- Hardcover
- Langue
- anglais
- ISBN à 10 chiffres
- 9056992686
- ISBN à 13 chiffres
- 9789056992682
- Édition
- 1st Edition
- Dimensions
- 8vo - over 7¾ - 9¾" tall
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.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
À propos de l’auteur
Felscher, Walter
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.