Turing’s analysis of computability, and major applications of it (1988)

by S C Kleene
Venue:In: Herken