【现代逻辑与逻辑哲学系列讲座】Provability Logicand Modalised Fixed Points_哔哩哔哩 (゜-゜)つロ 干杯~-bilibili

Name: %E3%80%90%E7%8E%B0%E4%BB%A3%E9%80%BB%E8%BE%91%E4%B8%8E%E9%80%BB%E8%BE%91%E5%93%B2%E5%AD%A6%E7%B3%BB%E5%88%97%E8%AE%B2%E5%BA%A7%E3%80%91Provability%20Logicand%20Modalised%20Fixed%20Points
Uploaded: 2021-03-03T08:17:48.026Z
Description: %E2%80%9C%E7%8E%B0%E4%BB%A3%E9%80%BB%E8%BE%91%E4%B8%8E%E9%80%BB%E8%BE%91%E5%93%B2%E5%AD%A6%E7%B3%BB%E5%88%97%E8%AE%B2%E5%BA%A7%E2%80%9D%E7%AC%AC%E4%B8%80%E5%9C%BA%0A%E9%A2%98%E7%9B%AE%EF%BC%9AProvability%20Logicand%20Modalised%20Fixed%20Points%0A%E4%B8%BB%E8%AE%B2%E4%BA%BA%EF%BC%9AAlbert%20Visser%20Philosophy,%20Faculty%20of%20Humanities,%20Utrocht%20University

武汉大学哲学学院