April 2, 2015Avigad’s Notes on Computability, Incompleteness Progress by rzach0 comments Jeremy Avigad’s notes in incompleteness and computability are now incorporated into the repository.