|
题名:
|
数理逻辑入门
/
李锡胤编
,
|
|
ISBN:
|
978-7-81129-604-4
价格：
CNY18.00
|
|
语种:
|
chi
|
|
载体形态:
|
128页
23cm
|
|
出版发行:
|
出版地：
哈尔滨
出版社：
黑龙江大学出版社
出版日期：
2013
|
|
内容提要:
|
本书分为命理逻辑、谓词逻辑两部分，内容包括：逻辑研究什么、逻辑与自然语言、命题、命题符号、演绎推理、基本加行规则、间接证明法、公理系统的方法论、谓词逻辑与命题逻辑等。
|
|
主题词:
|
数理逻辑
基本知识
|
|
中图分类法:
|
O141
版次：
5
|
|
主要责任者:
|
李锡胤
编
|
|
索书号:
|
5
|