机读格式显示(MARC)
- 000 00877nam0 2200265 450
- 010 __ |a 978-7-5598-2878-1 |d CNY68.00
- 100 __ |a 20200909d2020 em y0chiy50 ea
- 200 1_ |a 结构推理 |A Jie Gou Tui Li |b 专著 |f 冯棉著
- 210 __ |a 桂林 |c 广西师范大学出版社 |d 2020
- 330 __ |a 本书研究命题逻辑的结构推理,涉及多种结构推理系统的建构。全书共四章,内容包括:经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理。
- 606 0_ |a 逻辑推理 |A Luo Ji Tui Li |x 研究
- 701 _0 |a 冯棉 |A Feng Mian |4 著
- 801 _0 |a CN |b ZPHC |c 20201122
- 905 __ |a ZPHC |d O141/23