TY  - RPRT
TI  - TryLogic tutorial: an approach to Learning Logic by proving and refuting
AU  - Patrick Terrematte
AU  - João Marcos
PY  - 2015
UR  - https://arxiv.org/abs/1507.03685
ID  - 1507.03685
ER  -