Advances in proof theory
Éditeur :
Birkhauser Verlag AG
ISBN :
9783319805139
Date de publication :
27 mai 2018
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.