Not the original source but pretty explanatory:

https://history-computer.com/Library/Logic%20Theorist%20memo...

Some

https://github.com/theoremprover-museum/logic-theorist