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