数理逻辑实验教程

本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用,简单命题、复合命题、命题逻辑,量词的引入和量词的逻...

2010.7