„logique formelle" nicht gefunden