具有族的类别和具有从属排序的一阶逻辑
摘要
出版物: -
arXiv电子打印 发布日期: 2016年5月 内政部: -
10.48550/arXiv.1605.01586 arXiv: -
arXiv:1605.01586 书目代码: -
2016arXiv160501586P 关键词: -
数学-逻辑; 数学-范畴理论; 03B15; 03F50; 03G30; 18C10; 68问题55
电子打印: 83页