Logic of Arithmetic (Lectures on Mathematical Logic #3) (Paperback)

Logic of Arithmetic (Lectures on Mathematical Logic #3) By Walter Felscher Cover Image

Logic of Arithmetic (Lectures on Mathematical Logic #3) (Paperback)

$87.95


Ships quickly (1-7 days)
(This book cannot be returned.)
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.

Product Details ISBN: 9780367398576
ISBN-10: 0367398575
Publisher: CRC Press
Publication Date: September 5th, 2019
Pages: 312
Language: English
Series: Lectures on Mathematical Logic