机读格式显示(MARC)

• 000 01033nam0 2200265 450

• 001 0000793062

• 005 20250617212700.0

• 010 __ |a 978-7-5689-3626-2 |d CNY79.00

• 100 __ |a 20231103d2023 em y0chiy50 ea

• 101 0_ |a chi |a eng

• 102 __ |a CN |b 500000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 现代形式逻辑入门 |A xian dai xing shi luo ji ru men |d = An introduction to modern formal logic |f 王寅著 |z eng

• 210 __ |a 重庆 |c 重庆大学出版社 |d 2023.10

• 215 __ |a 13, 253页 |c 图 |d 24cm

• 320 __ |a 有书目 (第246-253页)

• 330 __ |a 本书从经典形式逻辑讲起, 重点介绍亚里士多德在《工具论》中所论述的演绎逻辑, 至于现代形式逻辑则是在反思亚氏经典形式逻辑的基础上建构而成, 以图弥补其缺陷, 将其彻底形式化。

• 333 __ |a 本书适用于文科 (特别是语言学专业) 工作者和学生及现代形式逻辑入门学习者

• 510 1_ |a Introduction to modern formal logic |z eng

• 606 0_ |a 形式逻辑 |A xing shi luo ji |x 基本知识 |x 汉语 |x 英语

• 690 __ |a B812 |v 5

• 701 _0 |a 王寅 |A wang yin |4 著

• 801 _0 |a CN |b 湖北三新 |c 20231103

• 905 __ |a LIB |d B812/65