I created this Natural deduction app as my bachelor thesis project.
Link to the apple store
Download the thesis report
Shortly here will be a link to the corresponding paper and some explanation about how to use this app. Also I will publish some info about updates.
Last updated: 13 feb 2014