TY  - RPRT
TI  - How to prove it in Natural Deduction: A Tactical Approach
AU  - Favio E. Miranda-Perea
AU  - P. Selene Linares-Arévalo
AU  - Atocha Aliseda
PY  - 2015
UR  - https://arxiv.org/abs/1507.03678
ID  - 1507.03678
ER  -