"General Recursion Theory: An Axiomatic Approach" - читать интересную книгу автора (J. E. Fenstad)