14 ene 1650 año - Gottfried Leibniz made developments in First-order logic.
Descripción:
His work still remains:
Leibniz’s law (in First-order logic)
Leibniz’s Rule (in Mathematics)
*His development were very important for the theoretical computer science later.
Añadido al timeline:
Andy Han's computer timeline
fecha: