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