Gödel's disjunction the scope and limits of mathematical knowledge - Horsten, Leon 1966-; Welch, Philip (Oxford University Press, 2016)