A modal framework for reasoning about arbitrary natural numbers

Activity

,
Period4 Dec 2019 - 8 Dec 2019
LocationГданьск
Degree of RecognitionInternational