Connections between proof theory and category theory

Bibliographic Details
Main Author: Mann, Colin Robert
Other Authors: Gandy, Robin
Published: University of Oxford 1973
Subjects:
510
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.464830