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
1498 more...
Item
MW0003551 - 20/05/88 Math Logic Seminar, Oxford: Andrew Hodges: Twistor formulation
Item
MW0003551 - 20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus
Item
MW0003552 - 20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus
Item
MW0003552 - 20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus (contd.)
Item
MW0003553 - ??/??/88 Peter Braam
Item
MW0003553 - ??/??/88 Peter Braam (contd.)
Item
MW0003554 - ??/??/88 Steve French: Identity & indiscernibles
Item
MW0003554 - ??/??/88 Steve French: Identity & indiscernibles (contd.)
Item
MW0003555 - 25/05/88 Philosophy of Mathematics Seminar, Oxford: conv. Dan Isaacson: Graham Higman: Caverns measureless to man - the middle scale structure of mathematics
6728 more...
Search
Reports
??/??/88 Peter Braam
Reports
There are no relevant reports for this item
Cancel