哈工大数理逻辑的历年考试题，一共三套，提供给学弟学妹们复习使用。