如果你想系统的学习这方面的内容的话,其实没啥必要一开始就去找网课。(除非你外语理解完全没有任何障碍)建议先读几本中文的书,对数理逻辑里面的底层中层概念有一点基本的认知。我自己读的是我校哲学系的一套书,里面大概过了一遍一下一阶语言二阶语言不完备性集合论可构成力迫可递归之类的东西。不是说这套册子写的比外国人写的好,但是先接触了概念再读其他的外语书就不会很吃力。
读完了这些书再去读其他的就会好读很多。推荐GTM53