Fixed Points meet Löb's Logic

    Activity: Talk or presentation › Invited talk › Academic

    Period18 Nov 2020
    Event titleProof Theory Virtual Seminar
    Event typeConference
    Degree of RecognitionInternational