【现代逻辑与逻辑哲学系列讲座】Cut elimination and provably recursive functions_哔哩哔哩 (゜-゜)つロ 干杯~-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%91Cut%20elimination%20and%20provably%20recursive%20functions
Uploaded: 2021-03-03T08:31:56.115Z
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%89%E5%9C%BA%0A%E9%A2%98%E7%9B%AE%EF%BC%9ACut%20elimination%20and%20provably%20recursive%20functions%0A%E4%B8%BB%E8%AE%B2%E4%BA%BA%EF%BC%9AProf.Andreas%20Weiermann

武汉大学哲学学院