Godel's incompleteness theorem - Uspensky, VA (Moscow MIR, 1982)
Keywords: ALGORITHMS