TY  - JOUR
AU  - J. D. Kečkić
TI  - An axiomatization of the propositional calculus and the completeness theorem
JO  - Matematički vesnik
PY  - 1968
SP  - 361 
VL  - 20
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MV_1968_20_3_a19/
ID  - MV_1968_20_3_a19
ER  -