机读格式显示(MARC)

• 000 01089nam 2200277 450

• 001 0000475211

• 005 20241008151200.0

• 010 __ |a 978-7-03-075474-5 |d CNY89.00

• 100 __ |a 20230713d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 结构证明论 |A jie gou zheng ming lun |f 马明辉编著

• 205 __ |a 第2版

• 210 __ |a 北京 |c 科学出版社 |d 2023

• 215 __ |a xviii, 245页 |c 图 |d 24cm

• 225 2_ |a 高等学校逻辑学专业系列教材 |A gao deng xue xiao luo ji xue zhuan ye xi lie jiao cai

• 320 __ |a 有书目 (第243-245页)

• 330 __ |a 本书在介绍古典句子逻辑和直觉主义逻辑的基础上, 给出公理系统、自然演绎和矢列演算等不同类型的逻辑演算。根据结构的定义和结构规则, 区分不同类型的矢列演算, 并且以切割消除为工具, 给出了插值性质、可判定性等问题的证明。本书还介绍了一阶逻辑、模态逻辑和代数逻辑的矢列演算。

• 410 _0 |1 2001 |a 高等学校逻辑学专业系列教材

• 606 0_ |a 证明 |A zheng ming |x 高等学校 |j 教材

• 690 __ |a B812.4 |v 5

• 701 _0 |a 马明辉 |A ma ming hui |4 编著

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

• 905 __ |a AUSTL |d B812.4/M519B