Corresponding author: Loïc Colson ( colson@univ-metz.fr ) Citation:
Colson L, Michel D (2007) Pedagogical Natural Deduction Systems: the Propositional Case. JUCS - Journal of Universal Computer Science 13(10): 1396-1410. https://doi.org/10.3217/jucs-013-10-1396 |