Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloqium, Oxford, July 1963.
Publisher: North-Holland
Published: 1965-01-01