Baire classification and infinite perceptrons Miroslav Katětov (1972) Commentationes Mathematicae Universitatis Carolinae
Logique modale propositionnelle : une vue cavalière M. Eytan (1977) Mathématiques et Sciences Humaines