TY  - RPRT
TI  - Teaching a Formalized Logical Calculus
AU  - Asta Halkjær From
AU  - Alexander Birch Jensen
AU  - Anders Schlichtkrull
AU  - Jørgen Villadsen
PY  - 2020
DO  - 10.4204/eptcs.313.5
UR  - https://arxiv.org/abs/2002.12555
ID  - 2002.12555
ER  -