Lectures on mathematical logic / 3 : the logic of arithmetic

Felscher, Walter:

ISBN 10: 9056992686 / ISBN 13: 9789056992682

Published by Gordon and Breach, Amsterdam, 2000

About this Item

x, 300 Seiten Sprache: Englisch Gewicht in Gramm: 650.

Seller Inventory # 129947

Bibliographic Details

• Title: Lectures on mathematical logic / 3 : the logic of arithmetic
• Publisher: Gordon and Breach, Amsterdam
• Publication Date: 2000
• Language: English
• ISBN 10: 9056992686
• ISBN 13: 9789056992682
• Binding: Hardcover/Pappeinband
• Condition: Sehr gut
• Weight: 650 grams
• Seller catalogs:
  • Mathematik

About this title

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.

About the Author

Felscher, Walter