Advances in Proof Theory - Progress in Computer Science and Applied Logic -  - Bøger - Birkhauser Verlag AG - 9783319805139 - 27. maj 2018
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
NOK 1.349

Bestilles fra fjernlager

Forventes klar til forsendelse 11. - 17. jul.
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 27. maj 2018
ISBN13 9783319805139
Forlag Birkhauser Verlag AG
Antal sider 425
Mål 663 g
Sprog Tysk  
Klipper/redaktør Kahle, Reinhard
Klipper/redaktør Strahm, Thomas
Klipper/redaktør Studer, Thomas