「逻辑学」UCLA数理逻辑课程视频

[视频作者] 冷帯雨林

[视频时长] 1401:53

[视频类型] 人文历史

These are video lectures for the Mathematical Logic course (Math 220A) taught by Artem Chernikov at UCLA in the Fall quarter of 2021. 【机翻双语字幕，请手动开启。】