@article{1183733417,
author = {Porte, Jean},
title = {Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation},
journal = {J. Symbolic Logic},
volume = {23},
number = {1},
year = {1958},
pages = { 421-431},
language = {fr},
url = {http://dml.mathdoc.fr/item/1183733417}
}
Porte, Jean. Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation. J. Symbolic Logic, Tome 23 (1958) no. 1, pp. 421-431. http://gdmltest.u-ga.fr/item/1183733417/