This page shows all presentations of this author published in EasyChair Smart Slide.
A Formally Verified Abstract Account of Gödel's Incompleteness Theorems
Andrei Popescu and Dmitriy Traytel