Gottfried Leibniz (1 jul 1646 año – 14 nov 1716 año)

Descripción:

Made an incredible achievements in symbolic logic: Leibniz’s law (in First-order logic)

Made developments in First-order logic: Leibniz’s Rule (in Mathematics)

These were the significant development in theoretical computer science.

Añadido al timeline:

fecha: