An axiomatization of the propositional calculus and the completeness theorem
Matematički Vesnik (1968)
- Volume: 5(20), Issue: 45, page 361-366
- ISSN: 0025-5165
Access Full Article
topHow to cite
topJ. D. Kečkić. "An axiomatization of the propositional calculus and the completeness theorem." Matematički Vesnik 5(20).45 (1968): 361-366. <http://eudml.org/doc/259234>.
@article{J1968,
author = {J. D. Kečkić},
journal = {Matematički Vesnik},
keywords = {general logic},
language = {eng},
number = {45},
pages = {361-366},
publisher = {Društvo matematičara Srbije},
title = {An axiomatization of the propositional calculus and the completeness theorem},
url = {http://eudml.org/doc/259234},
volume = {5(20)},
year = {1968},
}
TY - JOUR
AU - J. D. Kečkić
TI - An axiomatization of the propositional calculus and the completeness theorem
JO - Matematički Vesnik
PY - 1968
PB - Društvo matematičara Srbije
VL - 5(20)
IS - 45
SP - 361
EP - 366
LA - eng
KW - general logic
UR - http://eudml.org/doc/259234
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.