Logic of Arithmetic (PDF)
(Sprache: Englisch)
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of...
Leider schon ausverkauft
eBook (pdf)
83.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Logic of Arithmetic (PDF)“
For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. 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.
Bibliographische Angaben
- Autor: Walter Felscher
- 2000, 312 Seiten, Englisch
- Verlag: Taylor & Francis
- ISBN-10: 1482283018
- ISBN-13: 9781482283013
- Erscheinungsdatum: 30.05.2000
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 9.13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Logic of Arithmetic"
0 Gebrauchte Artikel zu „Logic of Arithmetic“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Logic of Arithmetic".
Kommentar verfassen