ISBN/价格: | 978-7-307-06553-6:CNY58.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 符号逻辑讲义/.徐明编 |
出版发行项: | 武汉:,武汉大学出版社:,2008.09 |
载体形态项: | 11,581页:;+24cm |
一般附注: | 高等院校哲学专业核心课程教材 |
提要文摘: | 本书共分四编:命题逻辑、命题演算、谓词逻辑和谓词演算。每一编都从简单的问题和不太严格的讨论开始,逐渐过渡到较复杂的问题和较严格的讨论。 |
题名主题: | 数理逻辑 高等学校 教材 |
中图分类: | O141 |
个人名称等同: | 徐明 编 |
记录来源: | CN JHBOOK 20100524 |