356 Lucas, J.R. (1961) Minds, Machines and Goedel. [Journal (Paginated)]