Publié le : 1977-04-14
Classification:
02B05,
02G10
@article{1093887930,
author = {Rose, Alan},
title = {Simplified formalizations of fragments of the propositional calculus.},
journal = {Notre Dame J. Formal Logic},
volume = {18},
number = {1},
year = {1977},
pages = { 255-261},
language = {en},
url = {http://dml.mathdoc.fr/item/1093887930}
}
Rose, Alan. Simplified formalizations of fragments of the propositional calculus.. Notre Dame J. Formal Logic, Tome 18 (1977) no. 1, pp. 255-261. http://gdmltest.u-ga.fr/item/1093887930/