Now showing items 1-1 of 1

  • Gjesvik, Jonas (Master thesis / Masteroppgave, 2016)
    A detailed study of computable iterations of Gödel-sentences, both in normal recursion and generalisations to other recursive theories.