ISBN 9783319805139 books & textbook
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Kahle, Reinhard Strahm, Thomas Studer, Thomas
Birkhäuser /2018-05-27 Paperback / 437 Pages
isbn-10: 3319805134 / isbn-13: 9783319805139
