文件名:2000年南京大学数理逻辑考研试题.pdf