TY  - RPRT
TI  - Classical theorems in the Implicational Propositional Calculus
AU  - P. L. Robinson
PY  - 2016
UR  - https://arxiv.org/abs/1602.02301
ID  - 1602.02301
ER  -