现代普通逻辑学

出版时间：1990-5  出版社：中国社会科学出版社  作者：赵文林,谢淑君  

内容概要

本书旨在建立一些采用人工符号而较数理逻辑更靠近日常思维习惯，但又不为自然语言的某些不确定性所限制的演算系统。