Deductive systems and categories II. Standard constructions and closed categories 论文

1969Lecture notes in mathematics引用 274
DOI
Advanced Algebra and Logic
Advanced Algebra and Logic
关系图谱

1

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (1)

J

Joachim Lambek

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据