TY  - RPRT
TI  - Teaching Leśniewski's Prothetic with a Natural Deduction System
AU  - Pierre Joray
PY  - 2015
UR  - https://arxiv.org/abs/1507.03668
ID  - 1507.03668
ER  -