Titre: 003: Logic of Arithmetic: The Logic of Arithmatic Vol 3 (Lectures on Mathematical Logic)
�diteur: CRC Press 2000-05-30
Date de parution: 2000
Langue: anglais
ISBN � 10 chiffres: 9056992686
ISBN � 13 chiffres: 9789056992682
Reliure: Hardcover
�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 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

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

Description de la librairie

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Conditions de vente et de livraison

Conditions g�n�rales de vente

TBA

Conditions d'exp�dition

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.