Turing in Context II: Historical and Contemporary Research in Logic, Computing Machinery, and AI