Sur le terme primitif de la Logistique

Abstract
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) ?

This publication has 0 references indexed in Scilit: