TY  - JOUR
AU  - Ahmad, Shafaat
TI  - On Implicational Completeness
JO  - Canadian journal of mathematics
PY  - 1974
SP  - 761
EP  - 768
VL  - 26
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1974-071-3/
DO  - 10.4153/CJM-1974-071-3
ID  - 10_4153_CJM_1974_071_3
ER  -