Lectures on Mathematical Logic Volume III: The Logic of Arithmetic

Felscher, Walter

ISBN 10: 9056992686 / ISBN 13: 9789056992682

Editore: Gordon and Breach Science Publishers, Amsterdam, 2000

Riguardo questo articolo

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.

Codice articolo u0419

Dati bibliografici

• Titolo: Lectures on Mathematical Logic Volume III: The Logic of Arithmetic
• Editore: Gordon and Breach Science Publishers, Amsterdam
• Data di pubblicazione: 2000
• ISBN 10: 9056992686
• ISBN 13: 9789056992682
• Rilegatura: Hard Cover
• Edizione: First Edition.
• Condizione: Very Good
• Condizione della sovraccoperta: No Jacket
• Cataloghi dei venditori:
  • History of Science
  • Mathematics
  • Philosophy

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

Felscher, Walter