Gentzen's original proof of the consistency of arithmetic revisited

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

    Originalspråkengelska
    Titel på gästpublikationActs of knowledge : history, philosophy and logic
    Redaktörereditors: Giuseppe Primiero and Shahid Rahman
    Antal sidor21
    UtgivningsortLondon
    FörlagCollege publications
    Utgivningsdatum2009
    Sidor151-171
    ISBN (tryckt)978-1-904987-92-5
    StatusPublicerad - 2009
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Vetenskapsgrenar

    • 611 Filosofi
    • todistusteoria
    • matemaattinen logiikka

    Citera det här