“…Centre National Belge de Recherches de Logique (Lovaina, Bélgica)…”