302EDU
2019 2007 2006 2005 全部
搜索分类
可计算性与数理逻辑

本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻...

2005.06

按中图号分类
按出版社分类

版权声明：本网站所有资源来源于网络，著作权及版权归原作者所有。本网站尊重并保护知识产权，根据《信息网络传播权保护条例》，如果我们转载的作品侵犯了您的权利，请在一个月内通知我们，我们会及时删除。