"Полные по Новикову логики: метод перевода" - читать интересную книгу автора (Яшин А. Д.)