Gödel’s incompleteness theorems — lecture notes. http: //www.cs.ru.nl/˜henk/courses.html (0)

by H Barendregt