Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Holdings
Quick search
Fonds
Michael Wright Collection
259 more...
Item
MW0000923 - ??/??/75 - ??/??/76 General Relativity Seminar, Oxford: Kostant's quantisation program & twistor space
Item
MW0000943 - 18/11/74 Kings College London: Chris Isham: Advanced mathematical methods in QFT
Item
MW0000943 - 18/11/74 Kings College London: Chris Isham: Advanced mathematical methods in QFT (contd.)
Item
MW0000963 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Intuitionism & proof theory
Item
MW0000963 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Intuitionism & proof theory (contd.)
Item
MW0000964 - ??/07/74 International Summer Institute and Logic Colloquium, Kiel: Scott (contd.)
Item
MW0000964 - ??/07/74 International Summer Institute and Logic Colloquium, Kiel: Wayne Richter: Inductive definitions
Item
MW0000965 - ??/07/74 Michael Wright on ITRs & discussion with Susan Khin Zaw
Item
MW0000965 - ??/07/74 Michael Wright on ITRs & discussion with Susan Khin Zaw
7967 more...
Search
Reports
29/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Intuitionism & proof theory (contd.)
Reports
There are no relevant reports for this item
Cancel