Intuitionistic Provability Logic & Leivant's Principle

    Activity: Talk or presentation › Invited talk › Popular

    Period1 Oct 2000
    Event titleMigliolo conferentie (Mantova Italië)
    Event typeSeminar