There's plenty of academic literature on the topic, available through everyone's favorite scholarly website if not available to you otherwise.
https://link.springer.com/chapter/10.1007/1-4020-4040-7_11
https://direct.mit.edu/posc/article-abstract/18/4/480/15281/...
https://journals.openedition.org/etudes-benthamiennes/7901?l...
Freeman Dyson also commented on this "Johnny’s unique gift as a mathematician was to transform problems in all areas of mathematics into problems of logic. He was able to see intuitively the logical essence of problems and then to use the simple rules of logic to solve the problems" - https://www.ams.org/notices/201302/rnoti-p154.pdf