Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Advances in proof theory/ [edited by] Reinhard Kahle, Thomas Strahm and Thomas Studer.

By: Contributor(s): Material type: TextTextSeries: Progress in computer science and applied logic ; v 28.Publication details: Switzerland : Springer, 2016.Description: xii, 425 pages : illustrations ; 24 cmISBN:
  • 9783319291963
Subject(s): DDC classification:
  • 511.36 23 Sy989
Contents:
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
Summary: The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books ISI Library, Kolkata 511.36 Sy989 (Browse shelf(Opens below)) Available 137825
Total holds: 0

Includes bibliographical references.

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

The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013.

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in