机读格式显示(MARC)
- 000 01415nam0 2200481 450
- 010 __ |a 7-80050-085-3 |d CNY1.95
- 099 __ |a CAL 012000116738
- 100 __ |a 19970526d1989 km y0chiy0121 ea
- 200 1_ |a 现代逻辑 |A xian dai luo ji |f (法) 格里兹著 |g 李锡胤译
- 210 __ |a 北京 |c 社会科学文献出版社 |d 1989
- 306 __ |a 据法国戈蒂埃-维拉尔出版社1973年版译出.
- 330 __ |a 本书的重点是逻辑学的证明方法。作者对“自然演绎法”、“真值表方法”、“公理化方法”都作了精辟论述;对命题集π2的分划,值概念的应用等,都作了出色的介绍。
- 510 1_ |a Logique moderne |z fre
- 701 _1 |a 格里兹, |A ge li zi |b J.-B. |g (Grize, Jean-Blaise) |4 著
- 702 _0 |a 李锡胤 |A li xi yin |4 译
- 801 _0 |a CN |b NLC |c 19921104
- 801 _2 |a CN |b SCNU |c 20050512
- 905 __ |a SCNU |f B81/6741
- 920 __ |a 211010 |b B81 |c 76 |z 1
- 999 __ |M wxh |m 20050512 15:02:28 |G xfm |g 20050513 08:37:38
- 907 __ |a SCNU |f B81/6741