Takemura, R. (2025). A completeness theorem in proof-theoretic semantics via set-theoretic semantics.
Chicago Style (17th ed.) CitationTakemura, Ryo. A Completeness Theorem in Proof-theoretic Semantics via Set-theoretic Semantics. 2025.
MLA (9th ed.) CitationTakemura, Ryo. A Completeness Theorem in Proof-theoretic Semantics via Set-theoretic Semantics. 2025.
Warning: These citations may not always be 100% accurate.