机读格式显示(MARC)

• 000 00924nam 2200253 450

• 001 0000688937

• 005 20240711161800.0

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

• 100 __ |a 20230712d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y 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页 |d 24cm

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

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

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

• 690 __ |a B812.4 |v 5

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

• 801 _0 |a CN |b WFKJXY |c 20240711

• 905 __ |a WFKJXY |d B812.4/2