Recherches sur la theorie generale des systemes formels et sur les systemes connectifs - Porte, Jean (Collection de logique mathematique serie A ; ;, 1965)