"The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions " - читать интересную книгу автора (Stephen Cole Kleene, R.E. Vesley)