jan 14, 1650 - Gottfried Leibniz made developments in First-order logic.
Description:
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.
Added to timeline:
Andy Han's computer timeline
Date:
