Normal form and existence property for derivations in Heyting arithmetic

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

    Originalspråkengelska
    Titel på gästpublikationActa Philosophica Fennica
    Antal sidor5
    Volym78
    UtgivningsortHelsinki
    FörlagPhilosophical Society of Finland
    Utgivningsdatum2006
    Sidor159-163
    StatusPublicerad - 2006
    MoE-publikationstypB2 Del av bok eller annan forskningsbok

    Citera det här