"Proceedings of the Summer School in Logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic" - читать интересную книгу автора (Martin H. Löb)