TY  - RPRT
TI  - A semantics of realisability for the classical propositional natural deduction
AU  - Karim Nour
AU  - Khelifa Saber
PY  - 2009
UR  - https://arxiv.org/abs/0905.1555
ID  - 0905.1555
ER  -