TY  - RPRT
TI  - On the independence of Robinson's set of axioms for propositional calculus
AU  - Benoît Jubin
PY  - 2022
UR  - https://arxiv.org/abs/2109.14745
ID  - 2109.14745
ER  -