Advances in Proof Theory
119.12 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10443913
Beschreibung
W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal.- A. Cantini: About truth and types.- R. Dyckhoff: Intuitionistic decision procedures since Gentzen.- S. Feferman: The operational perspective.- R. Gore: Formally verified proof-theory using Isabelle/HOL.- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus.- W. Pohlers: From subsystems of classical analysis to subsystems of set theory - a personal account.- M. Rathjen: Ordinal analysis and witness extraction.- P. Schuster: Logic completeness via open induction.- H. Schwichtenberg: On the computational content of Higman's lemma.- P. Schroeder-Heister: TBA.- A. Setzer: TBA.- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity.
Eigenschaften
Breite: | 164 |
Gewicht: | 801 g |
Höhe: | 242 |
Länge: | 30 |
Seiten: | 425 |
Sprachen: | Englisch |
Autor: | Reinhard Kahle, Thomas Strahm, Thomas Studer |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen