关于形式化理论的权威综述,来自cmu的clarke和wing,非常简易有兴趣的同学看看

经典的关于计算机科学起源及其与数学关系的书籍