• 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

Hardcover

Series: Lectures on Mathematical Logic, Book 3

FictionMedical ReferenceGeneral Mathematics

ISBN10: 9056992686
ISBN13: 9789056992682
Publisher: CRC Press
Published: May 30 2000
Pages: 312
Weight: 1.49
Height: 0.99 Width: 6.20 Depth: 9.50
Language: English
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.

1 different editions

Also available

Also in

Medical Reference