A Mobile Application for Self-Guided Study of Formal Reasoning. - David M. Cerna; Rafael P. D. Kiesel; Alexandra Dzhiganskaya (ThEdu@CADE, 2019)