APA (7th ed.) Citation

Gheorghiu, A. V., & Pym, D. J. (2025). Proof-theoretic Semantics for Second-order Logic.

Chicago Style (17th ed.) Citation

Gheorghiu, Alexander V., and David J. Pym. Proof-theoretic Semantics for Second-order Logic. 2025.

MLA (9th ed.) Citation

Gheorghiu, Alexander V., and David J. Pym. Proof-theoretic Semantics for Second-order Logic. 2025.

Warning: These citations may not always be 100% accurate.