共找到 1 项 “昂扬编著” 相关结果
数理逻辑的思想和方法[电子资源.图书]
作者： 昂扬编著
出版社：复旦大学出版社,1991
简介：本书系统地讲解了数理逻辑的思想与方法,主要内容有:命题逻辑和量词逻辑,重言式公理系统和自然推理系统的构造等。
复旦大学出版社,1991
