GitHub repository: rzach/incompleteness-computability
Primary language: TeX
Description: Textbook on Gödel's incompleteness theorems and computability theory