Gdel's Theorem Without Tears - Essential Incompleteness in Synthetic Computability.

Dominik Kirst, Benjamin Peters

Browse the full CSL paper archive.