An axiomatization of the propositional calculus and the completeness theorem

J. D. Kečkić

Matematički Vesnik (1968)

  • Volume: 5(20), Issue: 45, page 361-366
  • ISSN: 0025-5165

How to cite

top

J. 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 ?

top

You must be logged in to post comments.