Cambridge University Library Manuscripts and Theses

WebVoyage Record View 2
Other Library CataloguesSearchHeadingsTitlesHistoryLibraries DirectoryHelpExit
Brief RecordDetailed RecordMARC Display

Hyperdoctrines and natural deduction: some connexions between proof theory...

Main Author: Seely, Robert Andrew George.
Other Entries: University of Cambridge. Department of Pure Mathematics and Mathematical Statistics.
Title: Hyperdoctrines and natural deduction: some connexions between proof theory and category theory.
Split into: University of Cambridge : Ph.D. Dissertation.
Notes: Date approved: 25 October 1977.
BLDSC number: D22573/78.
Format: Archival/Manuscript Material
Location: Order in Manuscripts Room (Not borrowable)
Classmark: PhD.10281


Save Options
Format Type
Enter your email address:
Save results for later:

Other Library Catalogues   Search   Headings   Titles   History   Remote   Libraries Directory   Exit