Books

Logic, Language, Information, and Computation Logic, Language, Information, and Computation
2015
Advances in Natural Deduction Advances in Natural Deduction
2014