An axiomatization of the propositional calculus and the completeness theorem
Matematički vesnik, Tome 20 (1968) no. 3, p. 361
Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
Classification :
03B05
@article{MV_1968_20_3_a19,
author = {J. D. Ke\v{c}ki\'c},
title = {An axiomatization of the propositional calculus and the completeness theorem},
journal = {Matemati\v{c}ki vesnik},
pages = {361 },
year = {1968},
volume = {20},
number = {3},
url = {http://geodesic.mathdoc.fr/item/MV_1968_20_3_a19/}
}
J. D. Kečkić. An axiomatization of the propositional calculus and the completeness theorem. Matematički vesnik, Tome 20 (1968) no. 3, p. 361 . http://geodesic.mathdoc.fr/item/MV_1968_20_3_a19/