Lectures on Mathematical Logic Volume III: The Logic of Arithmetic

Felscher, Walter

ISBN 10: 9056992686 / ISBN 13: 9789056992682

Published by Gordon and Breach Science Publishers, Amsterdam, 2000

About this Item

Third only of a series of volumes of lectures on mathematical theory intended for mature students & lecturers, this discussing "various properties of the arithmetic of natural numbers" including "decidability and undecidability, completeness and incompleteness, consistency and the limitations to establish it." Felscher was a notable lecturer at the University of Tübingen. Hardcover, as pictured; no jacket, as issued. Light wear to book; minor scuffing, small nick to front hinge groove. Text clean; x, 300 pages; index, references, plenty of equations. Size: Octavo.

Seller Inventory # u0419

Bibliographic Details

• Title: Lectures on Mathematical Logic Volume III: The Logic of Arithmetic
• Publisher: Gordon and Breach Science Publishers, Amsterdam
• Publication Date: 2000
• ISBN 10: 9056992686
• ISBN 13: 9789056992682
• Binding: Hard Cover
• Edition: First Edition.
• Condition: Very Good
• Dust Jacket Condition: No Jacket
• Seller catalogs:
  • History of Science
  • Mathematics
  • Philosophy

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