"General recursion theory: An axiomatic approach" - читать интересную книгу автора (J. E. Fenstad)