undergraduate thesis
Systems for learning propositional and predicate logic

Dalibor Kofjač (2016)
University of Zagreb
Faculty of Organization and Informatics Varaždin
Department of Theoretical and Applied Foundations of Information Sciences