2: Logique moderne. 1, Le calcul des propositions inanalysées - Dopp, Joseph. (OLS)http://semarc/name/981 (Leçons de logique formelle, 1950)
In all.: Table des formules.