机读格式显示(MARC)
- 010 __ |a 7-80050-085-3 |d ¥1.95
- 100 __ |a 20000319d1989 kemy0chiy0121 ea
- 200 1_ |a 现代逻辑 |A XIAN DAI LUO JI |f (法)格里兹(Grize,J.B.)著 |F ( FA ) GE LI ZI (Grize,J.B.) ZHU |g 李锡胤译
- 210 __ |a 北京 |c 社会科学文献出版社 |d 1989.7
- 300 __ |a 书名原文:Logique moderne
- 330 __ |a 本书的重点是逻辑学的证明方法。作者对“自然演绎法”、“真值表方法”、“公理化方法”都作了精辟论述;对命题集π2的分划,值概念的应用等,都作了出色的介绍。
- 510 1_ |a Logique moderne |z fre
- 540 1_ |a 现代 逻辑 |A XIAN DAI LUO JI
- 701 _1 |a 格里兹 |A GE LI ZI |b J.B. |4 著
- 701 A1 |a Grize |b J.B. |4 著
- 702 _0 |a 李锡胤 |A LI XI YIN |4 译
- 801 _0 |a CN |b NLC |c 19921104
- 801 _2 |a CN |b Wuxilib |c 20050314
- 905 __ |a Wuxilib |d B81/57