eLogika - the system for teaching logic. - Marek Mensík; Marie Duzí; Jakub Gerlich (EJC, 2014)