Leibniz published the Dissertation on Combinatorial Art in 1666. This book contains the seeds of Leibniz's mature thought, as well as many of the mathematical ideas that he would go on to further develop after the invention of the calculus. It is in the Dissertation, for instance, that we find the project for the construction of a logical calculus clearly expressed for the first time. The idea of encoding terms and propositions by means of numbers, later developed
by Kurt Goedel, also appears in this work. In this text, furthermore, Leibniz conceives the possibility of constituting a universal language or universal characteristic, a project that he would pursue
for the rest of his life. Mugnai, van Ruler, and Wilson present the first full English translation of the Dissertation, complete with a critical introduction and a comprehensive commentary.