TY  - RPRT
TI  - Deducibility Theorems in Boolean Logic
AU  - Florentin Smarandache
PY  - 2006
UR  - https://arxiv.org/abs/math/0612340
ID  - math/0612340
ER  -