文件名称：Lectures in Logic and Set Theory
文件大小：5.09MB
文件格式：RAR
更新时间：2012-05-05 10:54:45
数理逻辑，形式化验证，集合论
Lectures in Logic and Set Theory Volume 1；Lectures in Logic and Set Theory Volume 2；经典中的经典，研究形式化验证的必备资料！有对模型检测和形式化验证的请加入81538367群！
【文件预览】：
Lectures in Logic and Set Theory Volume 2.zip
Lectures in Logic and Set Theory Volume 1.rar