undergraduate thesis
Natural deduction

Lucia Odeljan (2011)
University of Zagreb
Faculty of Organization and Informatics Varaždin
Department of Theoretical and Applied Foundations of Information Sciences