From Hilbert's programmme to Gentzen's programme

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

    Originalspråkfinska
    Titel på gästpublikationLogic's lost genius : Eckart Menzler-Trott ; translated by Craig Smorynski and Edward Griffor
    Antal sidor37
    UtgivningsortProvidence
    FörlagAmerican Mathematical Society
    Utgivningsdatum2008
    Sidor367-403
    StatusPublicerad - 2008
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Publikationsserier

    NamnHistory of mathematics

    Vetenskapsgrenar

    • 611 Filosofi

    Citera det här