31th in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 – 23 June 2017.
Více informací: zde