Can you identify 3 key historical thinkers in logic?

Three key historical thinkers in logic are Aristotle, who laid the foundation for formal logic; Gottlob Frege, who is considered one of the founders of modern logic; and Kurt Gödel, who formulated the incompleteness theorems, revolutionizing our understanding of the limits of formal systems.