Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Mai 2000
Genre:	Schulbücher
	advanced arithmetic logic foundations / decidability results / formal proof techniques / Mathematical logic / MATHEMATICS / Logic / MATHEMATICS / Set Theory / quantifier elimination methods / recursive function theory / Set theory / syntax arithmetisation mehr...
ISBN:	9789056992682
EAN-Code:	9789056992682
Verlag:	Taylor and Francis
Einband:	Gebunden
Sprache:	English
Dimensionen:	H 229 mm / B 152 mm / D
Gewicht:	740 gr
Seiten:	312
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.