Advances in Proof Theory
Softcover reprint of the original 1st ed. 2016
Book Details
Format
Paperback / Softback
Book Series
Progress in Computer Science and Applied Logic
ISBN-10
3319805134
ISBN-13
9783319805139
Edition
Softcover reprint of the original 1st ed. 2016
Publisher
Birkhauser Verlag AG
Imprint
Birkhauser Verlag AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
May 27th, 2018
Print length
425 Pages
Product Classification:
Philosophy: logicMathematical logicApplied mathematicsPhilosophy: logic
Ksh 16,200.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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 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.
Get Advances in Proof Theory by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Birkhauser Verlag AG and it has pages.
