Logic of Arithmetic (Paperback)

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.

General

Imprint:	Crc Press
Country of origin:	United Kingdom
Release date:	September 2019
First published:	2000
Authors:	Walter Felscher
Dimensions:	229 x 152mm (L x W)
Format:	Paperback
Pages:	312
ISBN-13:	978-0-367-39857-6
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory
LSN:	0-367-39857-5
Barcode:	9780367398576

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!