Gottfried Leibniz (jul 1, 1646 – nov 14, 1716)
Description:
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.
Added to timeline:
Date: