Go to main content

Advances in proof theory [electronic resource] / Reinhard Kahle, Thomas Strahm, Thomas Studer, editors.

Kahle, Reinhard, 1967- editor.; Strahm, Thomas (Thomas Adrian), editor.; Studer, Thomas, editor.
2016
QA9.54
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Advances in proof theory [electronic resource] / Reinhard Kahle, Thomas Strahm, Thomas Studer, editors.
ISBN
9783319291987 (electronic book)
331929198X (electronic book)
9783319291963
DOI
https://doi.org/10.1007/978-3-319-29198-7
Published
Switzerland : Birkhäuser, 2016.
Language
English
Description
1 online resource (xii, 425 pages) : illustrations.
Item Number
10.1007/978-3-319-29198-7 doi
9783319291963
Call Number
QA9.54
Dewey Decimal Classification
511.3/6
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.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed May 9, 2016).
Added Author
Kahle, Reinhard, 1967- editor.
Strahm, Thomas (Thomas Adrian), editor.
Studer, Thomas, editor.
Series
Progress in computer science and applied logic ; v. 28.
Available in Other Form
Advances in Proof Theory
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export