"Вычислимость и логика" - читать интересную книгу автора (Булос Дж., Джеффри Р. (G.S.Boolos,R.C.Jeffrey))