数理逻辑

The Lambda Calculus: Its Syntax and Semantics: v. 103

H.P. Barendregt

计算机科学数理逻辑数学函数式编程