Advances in Proof Theory

Reinhard Kahle (Editor/Coordinator), Thomas Strahm, Thomas Studer (Editor/Coordinator)

Research output: Book/ReportAnthology

Original languageEnglish
PublisherSpringer International Publishing
Publication statusPublished - 2016

Publication series

NameProgress in Computer Science and Applied Logic
PublisherSpringer
Volume28

Cite this

Kahle, R., Strahm, T., & Studer, T. (2016). Advances in Proof Theory. (Progress in Computer Science and Applied Logic; Vol. 28). Springer International Publishing.