- Author
- R.B.马库斯
- Publisher
- 上海译文出版社
- Language
- Chinese
- Year
- 1993
- Page
- 429 页
- ISBN
- 9787532712144
- File Type
- File Size
- 14.6 MiB
本书对模态逻辑几个成熟分支进行综述,大多具有历史、哲学、技术三者统一的特点。编译者增写了有趣的案例,谈哥德尔式自指句等。
show more...How to Download?!!!
Just click on START button on Telegram Bot