1. Frege, G. (1893). Grundgesetze der Arithmetik. I. Band. reprinted 1962. Hildesheim: Georg Olms Verlagsbuchhandlung.
2. Frege, G. (1903). Grundgesetze der Arithmetik. II. Band. reprinted 1962. Hildesheim: Georg Olms Verlagsbuchhandlung.
3. Frege, G. (2013). Basic Laws of Arithmetic. Derived using concept-script. Volumes I & II. Oxford: Oxford University Press.
4. Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Stockholm: Almqvist & Wiksell.
5. Schroeder-Heister, P. (2016). Open Problems in Proof-Theoretic Semantics. In: Advances in Proof-Theoretic Semantics. Ed. by T. Piecha and P. Schroeder-Heister. Berlin: Springer, 253–83.