• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logic of Arithmetic

Logic of Arithmetic

Paperback

Series: Lectures on Mathematical Logic, Book 3

FictionMedical ReferenceGeneral Mathematics

ISBN10: 0367398575
ISBN13: 9780367398576
Publisher: CRC Press
Published: Sep 5 2019
Pages: 312
Weight: 0.90
Height: 0.70 Width: 5.90 Depth: 8.90
Language: English
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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.

1 different editions

Also available

Also in

Medical Reference