机读格式显示(MARC)
- 000 00933m0 220000277 45450
- 010 __ |a 7-80050-085-3 |d CNY1.95
- 100 __ |a 19921104d1989 kemy0chiy0110 ea
- 200 1_ |a 现代逻辑 |A xian dai luo ji |f (法)格里兹(Grize,J.B.)著 |g 李锡胤译
- 210 __ |a 北京 |c 社会科学文献出版社 |d 1989.7
- 300 __ |a 书名原文:Logique moderne
- 330 __ |a 本书的重点是逻辑学的证明方法。作者对“自然演绎法”、“真值表方法”、“公理化方法”都作了精辟论述;对命题集π2的分划,值概念的应用等,都作了出色的介绍。
- 510 1_ |a Logique moderne |z fre
- 606 0_ |a 形式逻辑 |A Xing Shi Luo Ji
- 701 _1 |a 格里兹 |A ge li zi |b J.B. |4 著
- 701 _1 |a Grize |A Grize |b J.B. |4 著
- 702 _0 |a 李锡胤 |A li xi yin |f (1926.5~) |4 译
- 801 _0 |a CN |b 91MARC |c 20130904
- 905 __ |a WXCSXY |d B81/151