Advances in Proof Theory (Progress in Computer Science and Applied Logic)

ISBN 10: 3319291963 / ISBN 13: 9783319291963

Edité par Springer (India) Private Limited, 2016

A propos de cet article

pp. 425.

N° de réf. du vendeur 372017741

Détails bibliographiques

• Titre: Advances in Proof Theory (Progress in Computer Science and Applied Logic)
• Éditeur: Springer (India) Private Limited
• Date de parution: 2016
• Langue: anglais
• ISBN à 10 chiffres: 3319291963
• ISBN à 13 chiffres: 9783319291963
• Reliure: Couverture rigide
• État de l'article: New

A propos de ce titre

Synopsis

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.