机读格式显示(MARC)
- 000 00883nam0 2200253 450
- 010 __ |a 978-7-81129-604-4 |d CNY18.00
- 100 __ |a 20140107d2013 em y0chiy50 ea
- 200 1_ |a 数理逻辑入门 |A shu li luo ji ru men |f 李锡胤编
- 210 __ |a 哈尔滨 |c 黑龙江大学出版社 |d 2013
- 330 __ |a 本书分为命理逻辑、谓词逻辑两部分,内容包括:逻辑研究什么、逻辑与自然语言、命题、命题符号、演绎推理、基本加行规则、间接证明法、公理系统的方法论、谓词逻辑与命题逻辑等。
- 606 0_ |a 数理逻辑 |A shu li luo ji |x 基本知识
- 701 _0 |a 李锡胤 |A li xi yin |4 编
- 801 _0 |a CN |b 浙江省新华书店集团公司 |c 20140107
- 856 4_ |u http://www.zxhsd.com/kgsm/ts/2013/12/28/2737866.shtml
- 905 __ |a HDUL |d O141/482/2