托比亚斯•尼普科夫

高阶逻辑辅助证明系统(精)

本书分基本技巧、逻辑与集合、高级材料三部分，内容包括：基础、HOL中的函数编程、高级函数式编程、游戏规则、集合递归定义等。

托比亚斯•尼普科夫