Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)

by Thomas Strahm (Editor), Reinhard Kahle (Editor), Thomas Studer (Editor)

New
Hardcover
2016
$149.33

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.

Synopsis

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.

$149.33

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 437
Edition: 1st ed. 2016
Publisher: Birkhäuser
Published: 23 May 2016
ISBN 10: 3319291963
ISBN 13: 9783319291963

Advances in Proof Theory: 28 (Progress in Computer Science and Applied Logic, 28)

New

$149.33

Synopsis

$149.33

More Information