北京大学数理逻辑，讲述了数理逻辑的相关内容，希望对你的学习有帮助。