Journal article
M. Toppel, M. Rathjen
Springer, Mathesis Universalis, Computability and Proof, 2019, pp. 311-331
Springer, Mathesis Universalis, Computability and Proof, 2019, pp. 311-331
Springer
Cite
Cite
APA
Click to copy
Toppel, M., & Rathjen, M. (2019). On Relating Theories: Proof-Theoretical Reduction. Springer, Mathesis Universalis, Computability and Proof, 311–331.
Chicago/Turabian
Click to copy
Toppel, M., and M. Rathjen. “On Relating Theories: Proof-Theoretical Reduction.” Springer Mathesis Universalis, Computability and Proof (2019): 311–331.
MLA
Click to copy
Toppel, M., and M. Rathjen. “On Relating Theories: Proof-Theoretical Reduction.” Springer, vol. Mathesis Universalis, Computability and Proof, 2019, pp. 311–31.
BibTeX Click to copy
@article{m2019a,
title = {On Relating Theories: Proof-Theoretical Reduction},
year = {2019},
journal = {Springer},
pages = {311-331},
volume = {Mathesis Universalis, Computability and Proof},
author = {Toppel, M. and Rathjen, M.}
}