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

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

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

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.

$146.84

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