@article{1093890630, author = {Shukla, Anjan}, title = {Consistent, independent, and distinct propositions.}, journal = {Notre Dame J. Formal Logic}, volume = {13}, number = {3}, year = {1972}, pages = { 399-406}, language = {en}, url = {http://dml.mathdoc.fr/item/1093890630} }
Shukla, Anjan. Consistent, independent, and distinct propositions.. Notre Dame J. Formal Logic, Tome 13 (1972) no. 3, pp. 399-406. http://gdmltest.u-ga.fr/item/1093890630/