Skip to main navigation Skip to search Skip to main content

The Provability Logic of All Arithmetics of a Theory

    Activity: Talk or presentation › Invited talk › Academic

    Period11 Nov 2011
    Event titleWorkshop on Proof Theory and Constructive Mathematics
    Event typeOther
    LocationMathematisches Forschungs Institut OberwolfachShow on map