"Formal Systems and Recursive Functions " - читать интересную книгу автора (J N Crossley, M A E Dummett)