Logics for Provability and Interpretability

    Activity: Talk or presentation › Invited talk › Popular

    Period1 Mar 2002
    Event titlethe Berkeley Logic Colloquium (Berkeley)
    Event typeSeminar