Advances in Proof Theory

Advances in Proof Theory

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and typ...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Kahle, Reinhard (Editor), Strahm, Thomas (Editor), Studer, Thomas (Editor)
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Birkhäuser, 2016.
Series:Progress in Computer Science and Applied Logic, 28
Subjects:
Mathematics.
Logic.
Mathematical logic.
Mathematical Logic and Foundations.
Online Access:Full Text via HEAL-Link

Internet

Full Text via HEAL-Link

ΒΚΠ - Πατρα: ALFd

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number: 330.01 BAU
Copy 1 Available

ΒΚΠ - Πατρα: BSC

Holdings details from ΒΚΠ - Πατρα: BSC
Call Number: 330.01 BAU
Copy 2 Available
Copy 3 Available

Similar Items