Symbolic Languages and Ars Combinatoria
  This article analyses some paragraphs of the Dissertatio de Arte Combinatoria (1666) where G.W. Leibniz considers the syntax of a language with a given number of primitive terms. We propose a new formulation which generalizes the philosopher conception of such a formal system. 
Godofredo Iommi Amunategui
math.HO