该窗口仅用于预约该书电子版,如后续有匹配资源将进行回复并报价。(扫描页面二维码添加微信好友代寻更高效)
(英) 汉密尔顿, 著
出版社:清华大学出版社
年代:2003
定价:
本书系统地讲解了数理逻辑的基本部分——命题演算与谓词演算。
数理逻辑是清华大学出版社于2003.出版的中图分类号为 O141 的主题关于 数理逻辑-高等学校-教材-英文 的书籍。
(德) 艾宾浩斯 (Ebbinghaus,H.D.) , 著
孙希文, 编著
刑滔滔, 著
郝兆宽, 杨睿之, 杨跃, 著
余俊伟, 赵晓玉, 裘江杰, 张立英, 著
张再跃, 张晓如, 主编
毕富生, 著
(美) 恩德滕, 著