文件名称：数理逻辑经典书籍
文件大小：18.95MB
文件格式：RAR
更新时间：2015-02-25 12:40:52
数理逻辑经典书籍
handbook of modal logic；Introduction to logic for computer science；logic and discrete mathmatics for computer science；Logic for Computer Scientis；logic in computer science；Modal Logic for Open Minds；-Logic-A-Very-Short-Introduction
【文件预览】：
Priest-Graham-Logic-A-Very-Short-Introduction.pdf
Logic for Computer Scientis.pdf
Introduction to logic for computer science.pdf
logic and discrete mathmatics for computer science.pdf
logic in computer science.pdf
Modal Logic for Open Minds.pdf
handbook+of+modal+logic.pdf