Advances in Proof Theory - Progress in Computer Science and Applied Logic -  - Books - Birkhauser Verlag AG - 9783319805139 - May 27, 2018
In case cover and title do not match, the title is correct

Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition

Price
Íkr 13,159
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 11 - 21
Add to your iMusic wish list

Also available as:

Advances in Proof Theory - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 2016 edition

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.


425 pages, 10 Illustrations, black and white; XII, 425 p. 10 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 27, 2018
ISBN13 9783319805139
Publishers Birkhauser Verlag AG
Pages 425
Dimensions 663 g
Language German  
Editor Kahle, Reinhard
Editor Strahm, Thomas
Editor Studer, Thomas