For anyone interested: There's an enjoyable radio adaptation of 'A Logic Named Joe' from X Minus One in 1955 https://archive.org/details/XMinusOne55122831ALogicNamedJoe