![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Loïc Colson, David Michel: Pedagogical Second-order Propositional Calculi. J. Log. Comput. 18(4): 669-695 (2008) |
2007 | ||
1 | EE | Loïc Colson, David Michel: Pedagogical Natural Deduction Systems: the Propositional Case. J. UCS 13(10): 1396-1410 (2007) |
1 | Loïc Colson | [1] [2] |