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

    Jørgensen, K. F. (2001). Finite type arithmetic: computable existence analysed by modified realisability and functional interpretation. Roskilde: Roskilde Universitet. Tekster fra IMFUFA, Nr. 401
    Jørgensen, Klaus Frovin. / Finite type arithmetic : computable existence analysed by modified realisability and functional interpretation. Roskilde : Roskilde Universitet, 2001. (Tekster fra IMFUFA; Nr. 401).
    @book{74405d30a70211db8e5a000ea68e967b,
    title = "Finite type arithmetic: computable existence analysed by modified realisability and functional interpretation",
    author = "J{\o}rgensen, {Klaus Frovin}",
    year = "2001",
    language = "English",
    publisher = "Roskilde Universitet",

    }

    Jørgensen, KF 2001, Finite type arithmetic: computable existence analysed by modified realisability and functional interpretation. Tekster fra IMFUFA, nr. 401, Roskilde Universitet, Roskilde.

    Finite type arithmetic : computable existence analysed by modified realisability and functional interpretation. / Jørgensen, Klaus Frovin.

    Roskilde : Roskilde Universitet, 2001. (Tekster fra IMFUFA; Nr. 401).

    Publikation: Bog/antologi/afhandling/rapportBogForskning

    TY - BOOK

    T1 - Finite type arithmetic

    T2 - computable existence analysed by modified realisability and functional interpretation

    AU - Jørgensen, Klaus Frovin

    PY - 2001

    Y1 - 2001

    M3 - Book

    BT - Finite type arithmetic

    PB - Roskilde Universitet

    CY - Roskilde

    ER -

    Jørgensen KF. Finite type arithmetic: computable existence analysed by modified realisability and functional interpretation. Roskilde: Roskilde Universitet, 2001. (Tekster fra IMFUFA; Nr. 401).