Provability and Reflextion 2: Fix-point lemma, Löb's theorem
University of Ghent Logic
0:00 / 0:00
Provability and Reflextion 2: Fix-point lemma, Löb's theorem
72 просмотра · 10 дн. назад
University of Ghent Logic
36 подписчиков
Provability and Reflextion 2: Fix-point lemma, Löb's theorem
University of Ghent Logic
