机读格式显示(MARC)

• 000 00998nam0 2200241 450

• 001 0000364805

• 005 20211018145247.3

• 010 __ |a 978-7-215-12655-8 |d CNY49.80

• 100 __ |a 20211018d2020 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 410000

• 105 __ |a y z 001yy

• 106 __ |a r

• 200 1_ |a 现代逻辑的基本概念和技术 |A xian dai luo ji de ji ben gai nian he ji shu |f 翟玉章著

• 210 __ |a 郑州 |c 河南人民出版社 |d 2020.12

• 215 __ |a 110页 |d 29cm

• 320 __ |a 有索引

• 330 __ |a 介绍了有效推理和与此相关的一系列概念 (矛盾句、有效句、语句间的蕴涵关系和等价关系), 这些语句层面上的概念最终都可以借助语句模式的概念加以说明。本书还介绍了检验和证明语句模式有效性的技术, 特别是主要运用于真值函项模式的真值分析法, 和运用于一般的量化模式的纯存在式方法和奎因方法。本书具有: 主题突出, 可读性强, 行文清晰, 深入浅出, 富哲学性等主要特点。

• 333 __ |a 逻辑学研究者

• 606 0_ |a 逻辑学 |A luo ji xue |x 研究

• 690 __ |a B81 |v 5

• 701 _0 |a 翟玉章 |A di yu zhang |4 著

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