Logic of Arithmetic (Lectures on Mathematical Logic). Dieser Artikel ist nicht verfügbar.
Sprache: Englisch
Verlag: CRC Press, 2000
- Erstausgabe
- Hardcover
- Gebraucht
Anbieter: JuddSt.Pancras, London, Vereinigtes KönigreichJuddSt.Pancras
Verkäufer/-in mit 5 Sternen
Verkäufer:in bei AbeBooks seit 27. Oktober 2008
Verbandsmitglied: PBFA
Nicht verfügbar
Hardcover
Zustand: Gebraucht - Wie neu
EUR 59,58
Bestandsnummer des Verkäufers c31593
- Titel
- Logic of Arithmetic (Lectures on Mathematical Logic)
- Autor
- Felscher, Walter
- Verlag
- CRC Press
- Erscheinungsjahr
- 2000
- Zustand
- As New
- Einband
- Hardcover
- Sprache
- Englisch
- ISBN-10
- 9056992686
- ISBN-13
- 9789056992682
- Auflage
- 1st Edition
- Abmessungen
- 8vo - over 7¾ - 9¾" tall
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.
„Inhaltsangabe“ gehört möglicherweise zu einer anderen Auflage dieses Titels.
Über die Autorin bzw. den Autor
Felscher, Walter
„Über diesen Titel“ gehört möglicherweise zu einer anderen Auflage dieses Titels.