数学逻辑引论

详细信息    数学逻辑引论

• 责任者：马振华
• 关键词：数理逻辑
• 出版日期：1982.12
• 语种：chi
• 出版者：清华大学出版社
• 页数：273页
• 出版地：北京
• 第一责任说明：马振华编著
• 定价：CNY1.00
• 尺寸：20cm

MARC全文

0100053362；20040520161038.0；CNY1.00；15235.60；20040520d1982 km y0chiy0110 ea；chi；CN；110000；y z 000yy；r；数学逻辑引论；shu xue luo ji yin lun；马振华编著；北京；清华大学出版社；1982.12；273页；20cm；本书内容包括：命题与逻辑联结词，真值函数及其等价变换，范式与正则范式，命题演算的演绎理论；定理证明自动化，谓词概念，量词，命题函数及其变换，谓词演算的演绎系统等。；数理逻辑；O141；2；马振华；ma zhen hua；编著；CN；NGL；20040520；NGL；UCBL045967-70；O141；M2；rCNY1.00；aulls；b4；eOulo2