Journal of Logic and Computation. 2004;14(5):651-674. doi: 10.1093/logcom/14.5.651 Q40.72025
Elementary Diagrams in Institutions
DOI: 10.1093/logcom/14.5.651
摘要 查看摘要
Journal of Logic and Computation. 2004;14(5):651-674. doi: 10.1093/logcom/14.5.651 Q40.72025
DOI: 10.1093/logcom/14.5.651
摘要 查看摘要