Sur le terme primitif de la Logistique
Alfred Tajtelbaum (1923)
Fundamenta Mathematicae
Similarity:
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) ?