Sur le terme primitif de la Logistique
Tom 4 / 1923
Fundamenta Mathematicae 4 (1923), 196-200
DOI: 10.4064/fm-4-1-196-200
Streszczenie
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) ?