What is a provability predicate?

    Activity: Talk or presentation › Invited talk › Academic

    Period14 Oct 2019
    Event titlePhilosophy of Mathematics Seminar
    Event typeOther
    LocationOxfordShow on map
    Degree of RecognitionInternational