现代普通逻辑学

出版社:中国社会科学出版社
出版日期:1990-5
ISBN:9787500405368
作者:赵文林,谢淑君
页数:520页

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