Proof theory of classical and intuitionistic logic

    Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

    Originalspråkengelska
    Titel på gästpublikationThe development of modern logic
    Redaktöreredited by Leila Haaparanta
    Antal sidor17
    UtgivningsortOxford
    FörlagOxford University Press
    Utgivningsdatum2009
    Sidor499-515
    StatusPublicerad - 2009
    MoE-publikationstypA3 Del av bok eller annan forskningsbok

    Vetenskapsgrenar

    • 611 Filosofi
    • todistusteoria
    • intuitionismi
    • logiikka

    Citera det här