出版社:上海译文出版社
出版日期:1993-5-1
ISBN:9787532712144
作者:R.B.马库斯
页数:429 页页
简介
这本书是一部论文集。中心内容书名已经揭示,主要是关于模态逻辑的理论以及应用。本书的编译者康宏逵先生,师长们偶尔提及,很少不表示极高的尊敬。限于目前的学问水平,这本书里收的专业论文我看得不多,但却把康先生写的后记反复读了多遍,因这是一篇很好的“劝学”文章。因为要学习哥德尔定理证明,本书的代序(不同于一般的代序,实际上就是一篇学术论文)是我读得最多的含有专业内容的部份。康先生把哥德尔定理证明的过程讲得很清楚,看了之后很有收获。