Provability Logics of Constructive Theories

    Activity: Talk or presentation › Invited talk › Popular

    Period8 Nov 2007
    Event titleA Day in Mathematical Logic (Amsterdam)
    Event typeSeminar