Theoria: An International Journal for Theory, History and Foundations of Science

Volume 6, Issue 1/2, Octubre 1991

G. W. Leibniz (1646-1716)

Javier de Lorenzo
Pages 295-298

Logique
Méthodes pour l’informatique fondamentale