[SIGCIS-Members] Informatics in the light of some Leibniz’s works