Haskell Curry worked in mathematical logic with particular interest in the theory of formal systems and processes.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Curry/
