scaa890809的博客

国外关于计算机应用逻辑所使用的教材。内容涉及离散数学中的数理逻辑，范式，算数空间，有效性，非决定性问题等。文件名带-trans的是课件。各个章节分不同文件，用章节名的缩写命名。