Heinrich Wansing. Reprint of: A more general general proof theory. J. Applied Logic, 25(Supplement), 2017. [doi]
@article{Wansing17a, title = {Reprint of: A more general general proof theory}, author = {Heinrich Wansing}, year = {2017}, doi = {10.1016/j.jal.2017.12.003}, url = {https://doi.org/10.1016/j.jal.2017.12.003}, researchr = {https://researchr.org/publication/Wansing17a}, cites = {0}, citedby = {0}, journal = {J. Applied Logic}, volume = {25}, number = {Supplement}, }