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

ISBN 10: 3319805134 / ISBN 13: 9783319805139

Edité par Springer (India) Private Limited, 2018

A propos de cet article

Print on Demand pp. 425.

N° de réf. du vendeur 378857103

Détails bibliographiques

• Titre: Advances in Proof Theory (Progress in Computer Science and Applied Logic)
• Éditeur: Springer (India) Private Limited
• Date de parution: 2018
• Langue: anglais
• ISBN à 10 chiffres: 3319805134
• ISBN à 13 chiffres: 9783319805139
• Reliure: Couverture souple
• É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.