Izračunljivost, odlučivost i teoremi nepotpunosti - Kleene, Stephen C. (Array, 1987)