Le but de cette note est de présenter la solution du problème suivant: est - il possible de construire un système de la Logistique, en admettant le signe d'équivalence comme le seul terme primitif (bien entendu, outre les quantificateurs) ?
@article{bwmeta1.element.bwnjournal-article-fmv4i1p18bwm, author = {Alfred Tajtelbaum}, title = {Sur le terme primitif de la Logistique}, journal = {Fundamenta Mathematicae}, volume = {4}, year = {1923}, pages = {196-200}, language = {fr}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv4i1p18bwm} }
Tajtelbaum, Alfred. Sur le terme primitif de la Logistique. Fundamenta Mathematicae, Tome 4 (1923) pp. 196-200. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv4i1p18bwm/