Slicewise definability in first-order logic with bounded quantifier rank
17.08.2017 14:00 - 18:00
Organiser: