数理逻辑实验教程

本书介绍了三个在线逻辑软件和LPL逻辑软件包的使用，简单命题、复合命题、命题逻辑，量词的引入和量词的逻辑介绍。适合相关专业学生使用。