Advances in Proof Theory
| Other author | Kahle, Reinhard Editor |
| Other author | Strahm, Thomas Editor |
| Other author | Studer, Thomas Editor |
| Format | Electronic |
| Publication Info | CH-4055 Basel : Birkhauser Verlag GmbH Secaucus : Springer [Distributor] |
| Description | 425 p. ill 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Mathematics and Statistics eBooks 2016 English International |
| Subjects |
| Series | Progress in Computer Science and Applied Logic Ser. 28 |
| Summary | Annotation 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 type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jager, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783319291963 |
| ISBN | 3319291963 (Trade Cloth) Forthcoming |
| Standard identifier# | 9783319291963 |
| Stock number | 9783319291963 00145491 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |