sur 15
Gödel's Disjunction — Leon Horsten, Philip Welch