TY  - RPRT
TI  - Aristotle's Second-Order Logic and Natural Deduction
AU  - Clarence Protin
PY  - 2026
UR  - https://arxiv.org/abs/2303.03269
ID  - 2303.03269
ER  -