"Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (Studies in Logic and the Foundations of Mathematics, 40)" - читать интересную книгу автора (John N. Crossley, Michael Dummett (editors))