动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础（Foundations of Computing）系列书之一，是动态逻辑领域最经典的教科书。
2021-10-05 17:24:45
2.23MB
1