TY  - RPRT
TI  - An arguable addition to the standard Deduction Theorems of first order theories
AU  - Bhupinder Singh Anand
PY  - 2005
UR  - https://arxiv.org/abs/math/0502502
ID  - math/0502502
ER  -