大拱桥--暨南大学学生门户 » 图书馆 » 数理逻辑(符号逻辑) » 一阶逻辑与一阶理论
名称 一阶逻辑与一阶理论
索引号 O141/20072
分类号 O141
O141(数理逻辑(符号逻辑))
O14(数理逻辑-数学基础)
O1(数学)
O(数理科学和化学)
作者 叶峰 (哲学)、
出版社 北京 : 中国社会科学出版社, 1994
ISBN 7-5004-1307-6
页数 223页 ; 20cm
价格 CNY10.00
标签 逻辑、数理逻辑、叶峰、一阶理论、逻辑学、逻辑人、逻辑-哲学、语义学、
简介
注解 此项研究成果受国家社会科学基金资助。 叶 峰,北京大学任教 有书目(第216-217页)和索引。 本书分:一阶语言的语法、一阶语言的语义、一阶推理系统、一阶理论4章。