机读格式显示(MARC)

• 000 00959nam0 2200277 450

• 001 0000976673

• 005 20241121171100.0

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

• 099 __ |a CAL 012023155605

• 100 __ |a 20231124d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 500000

• 105 __ |a k 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

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

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

• 330 __ |a 本书共十二章, 内容包括: 经典形式逻辑简介、现代形式逻辑简介、谓词演算、命题演算、内涵逻辑、狭义模态逻辑、模态命题演算VS模态谓词演算、现代形式逻辑的利与弊等。

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

• 606 0_ |a 形式逻辑 |A xing shi luo ji

• 690 __ |a B812 |v 5

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

• 801 _0 |a CN |b JHUD |c 20241121

• 905 __ |a JHUD |d B812/203

• 920 __ |a 242450 |z 1