Gentzen's logic

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

    Originalspråkengelska
    Titel på gästpublikationHandbook of the history of logic. Volume 5, Logic from Russell to Church
    Redaktöreredited by Dov M. Gabbay and John Woods
    Antal sidor55
    UtgivningsortAmsterdam
    FörlagNorth-Holland
    Utgivningsdatum2009
    Sidor667-721
    ISBN (tryckt)978-0-444-51620-6
    StatusPublicerad - 2009
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Vetenskapsgrenar

    • 611 Filosofi
    • todistusteoria

    Citera det här