Research seminar on logic and discrete mathematics 24 Jan 2020 (click for info) 13.1.2020 Friday Jan 24 at 12-14 in Tampere, room Pinni B0020: Lauri Hella, Syntactic normal forms for union-closed formulas.