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/