标签 - 形式化方法
2023
Kripe结构
数理逻辑基础