TY  - RPRT
TI  - Gentzen-Prawitz Natural Deduction as a Teaching Tool
AU  - Jean-François Monin
AU  - Cristian Ene
AU  - Michaël Périn
PY  - 2009
UR  - https://arxiv.org/abs/0907.3599
ID  - 0907.3599
ER  -