Gå direkt till innehållet
Advances in Proof Theory
Spara

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.
Upplaga
1st ed. 2016
ISBN
9783319291963
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2016-05-12
Sidor
425