机读格式显示(MARC)

• 000 01416nam 2200325 450

• 001 0000624032

• 005 20240708155200.0

• 010 __ |a 978-7-208-18720-7 |b 精装 |d CNY98.00

• 099 __ |a CAL 012024028852

• 100 __ |a 20240307d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑的思想和方法 |A shu li luo ji de si xiang he fang fa |f 昂扬编著 |g 林胜强, 李晟修订

• 210 __ |a 上海 |c 上海人民出版社 |d 2024

• 215 __ |a 258页 |d 25cm

• 225 2_ |a 日月光华·哲学书系 |A ri yue guang hua· zhe xue shu xi |h 第五辑 |v 28

• 300 __ |a 世纪出版 获评“复旦大学哲学学院源恺优秀著作奖”上海易顺公益基金会资助出版

• 314 __ |a 昂扬(1939.2-)，1965年由复旦大学数学系毕业，留校至哲学系任教。1994年被评为复旦大学哲学系数理逻辑副教授。

• 330 __ |a 本书将系统阐述从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法，同时也进一步探讨这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特色），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。

• 410 _0 |1 2001 |a 日月光华·哲学书系 |h 第五辑 |v 28

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 研究

• 690 __ |a O141 |v 5

• 701 _0 |a 昂扬, |A ang yang |f 1939- |4 编著

• 702 _0 |a 林胜强 |A lin sheng qiang |4 修订

• 702 _0 |a 李晟 |A li sheng |4 修订

• 801 _0 |a CN |b CAU |c 20240705

• 905 __ |a CAU |d O141/7:2

• 920 __ |a 211180 |z 1