Marek Mensik (2014). EDUCATION SUPPORT FOR MATHEMATICAL LOGIC. THE ELOGIKA SYSTEM. 14th International Multidisciplinary Scientific GeoConference SGEM 2014, Geoinformatics, Remote Sensing, and Artificial Intelligence, Vol. 14, Book 2, Volume 1. https://doi.org/10.5593/sgem2014/b21/s7.020