RECHERCHES SUR LA THEORIE GENERALE DES SYSTEMES FORMELS ET SUR LES SYSTEMES CONNECTIFS - Porte, Jean (Paris Gauthier-Villars, 1965)
Bibliography : P. 125-137
Keywords: Logic, Symbolic And Mathematical