Proof Theory and Intuitionistic Systems
Kurzinformation
Sprache:
Englisch
ISBN:
9783540055419
Verlag:
Seitenzahl:
300 Seiten
Auflage:
-
Erschienen:
1971-01-01
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
5,83 €
Lieferzeit 1-3 Werktage
Weitere Zahlungsmöglichkeiten
Beschreibung
Proof Theory and Intuitionistic Systems
and preliminaries.- A review of Gentzen's second consistency proof.- The intuitionistic system of number theory.- A formally intuitionistic system as strong as classical analysis.- Transfinite induction with respect to recursive wellorderings without function parameters.- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters.- A system containing barinduction with respect to decidable predicates.- Harrop formulas.- The Markov principle.- Relative consistency proof of ZTN with respect to ZTi/IN*. von Scarpellini, Bruno
Produktdetails
Einband:
Hardcover
Seitenzahl:
300 Seiten
Erschienen:
1971-01-01
Sprache:
Englisch
EAN:
9783540055419
ISBN:
9783540055419
Verlag:
Gewicht:
458 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
Akzeptabel
5,83 €
Entdecke mehr zum Thema
