形式化验证，模型检测和数理逻辑经典书籍系列（2）

[{"title":"（ 5 个子文件 10.13MB ） 形式化验证，模型检测和数理逻辑经典书籍系列（2）","children":[{"title":"A first course in logic.rar <span style='color:#111;'> 1.96MB </span>","children":null,"spread":false},{"title":"Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.rar <span style='color:#111;'> 4.68MB </span>","children":null,"spread":false},{"title":"计算理论简明纲要 (v1.1).rar <span style='color:#111;'> 138.08KB </span>","children":null,"spread":false},{"title":"Computability and Logic 5th Edition.rar <span style='color:#111;'> 1.85MB </span>","children":null,"spread":false},{"title":"Handbook of Philosophical Logic Volume 4.rar <span style='color:#111;'> 1.50MB </span>","children":null,"spread":false}],"spread":true}]