학술논문
Categorical Proof-theoretic Semantics
Document Type
Article
Author
Source
In: Studia Logica . (Studia Logica, 2024)
Subject
Language
English
ISSN
15728730
00393215
00393215