Mathematical logic for computer science

时间：2016-08-24 03:27:22

【文件属性】：

文件名称：Mathematical logic for computer science

文件大小：4.38MB

文件格式：PDF

更新时间：2016-08-24 03:27:22

temporal logic

经典的面向计算机科学的逻辑学，这是第三版了！

立即下载

网友评论

不错的资源，谢谢分享。好好学习一下

相关文章

