Gå direkte til innholdet
Advances in Proof Theory
Spar

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.
Opplag
1st ed. 2016
ISBN
9783319291963
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
12.5.2016
Antall sider
425