학술논문
Connecting abstract logics and adjunctions in the theory of (π-)institutions: some theoretical remarks and applications
Document Type
Article
Author
Source
In: Journal of Applied Logics . (Journal of Applied Logics, January 2022, 9(1):445-494)
Subject
Language
English
ISSN
26319829
26319810
26319810