Godel's theorem in focus - Shanker, S. G. (London : Croom Helm, 1988)
Includes bibliographical references and index
Keywords: Godel's theorem; Algorithms