Lectures on mathematical logic / 3 : the logic of arithmetic

Felscher, Walter:

ISBN 10: 9056992686 / ISBN 13: 9789056992682

Editore: Gordon and Breach, Amsterdam, 2000

Riguardo questo articolo

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

Codice articolo 129947

Dati bibliografici

• Titolo: Lectures on mathematical logic / 3 : the logic of arithmetic
• Editore: Gordon and Breach, Amsterdam
• Data di pubblicazione: 2000
• Lingua: Inglese
• ISBN 10: 9056992686
• ISBN 13: 9789056992682
• Rilegatura: Hardcover/Pappeinband
• Condizione: Sehr gut
• Peso: 650 grammi
• Cataloghi dei venditori:
  • Mathematik

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