机读格式显示(MARC)

• 000 00984nam0 2200253 450

• 001 0000371377

• 005 20240408092443.0

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

• 035 __ |a (A100000NLC)012799556

• 049 __ |a A100000NLC |b UCS01012451966 |c 012799556 |d NLC01

• 100 __ |a 20240306d2024 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 310000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 数理逻辑的思想和方法 |9 shu li luo ji de si xiang he fang fa |b 专著 |f 昂扬编著

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

• 215 __ |a 258页 |d 24cm

• 225 1_ |a 日月光华·哲学书系 |h 第五辑 |v 28 |f 孙向晨，林晖主编

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

• 330 __ |a 本书共十章，内容包括：数理逻辑与人工语言、命题演算的思想和方法、命题演算系统、直觉主义逻辑的思想和方法、元逻辑的方法和意义、谓词演算的思想和方法、谓词演算系统、哥德尔不完全性定理等。

• 606 0_ |a 数理逻辑 |x 研究

• 690 __ |a O141 |v 5

• 701 _0 |a 昂扬 |9 ang yang |f (1939-) |4 编著