TY  - RPRT
TI  - Set theory and tableaux for teaching propositional logic
AU  - Nino Guallart
AU  - Angel Nepomuceno-Fernandez
PY  - 2015
UR  - https://arxiv.org/abs/1507.03667
ID  - 1507.03667
ER  -