TY  - RPRT
TI  - Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order mono-sorted logic
AU  - Karim Nour
AU  - Christophe Raffalli
PY  - 2009
UR  - https://arxiv.org/abs/0905.0758
ID  - 0905.0758
ER  -