GitHub repository: 1thereckless/USTC-2024spring-Mathematical-logic
Created: 2024-06-11T06:04:23Z
Description: 这个目录里收录了笔者2024年春季学期学习数理逻辑的部分资料,供学弟学妹参考.