湘潭大学-计算机的数学基础（数理逻辑）2024考试原题 参考教材与习题答案：国防科技大学《数理逻辑》1991年出版 pdf链接： XTU-Graduate-CS-Course/计算机的数学基础-姜新文 at main · oymaster/XTU...