A Logical Approach to Discrete Math
A Logical Approach to Discrete Math a book for programming logics
下载地址
用户评论
在维基上看作者DavidGries的介绍时发现他有两本有名的书：Thescienceofprogramming和这本ALogicalApproachtoDiscreteMath。前者是Dijkstra推荐的教材，我猜这本应该也不坏，下来看看再说