数学与形式化转向
摘要
出版物: -
arXiv电子打印 发布日期: 2023年10月 内政部: -
10.448550/arXiv.2311.00007号 arXiv: -
arXiv:2311.00007号 书目代码: -
2023arXiv231100007A 关键词: -
数学-历史与概述; 数学-逻辑; 03B35; 68V20(初级)68Q60; 68V15; 68V25; 68V35; 68T01; 97U50(二级)