Finite type arithmetic: computable existence analysed by modified realisability and functional interpretation

Klaus Frovin Jørgensen

    Publikation: Bog/antologi/afhandling/rapportBogForskning

    OriginalsprogEngelsk
    Udgivelses stedRoskilde
    ForlagRoskilde Universitet
    StatusUdgivet - 2001
    NavnTekster fra IMFUFA
    Nummer401
    ISSN0106-6242

    Citer dette