Siirry suoraan sisältöön
Advances in Proof Theory
Tallenna

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.
Painos
1st ed. 2016
ISBN
9783319291963
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
12.5.2016
Sivumäärä
425