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
6712 more...
Item
MW0000138 - 02/06/07 Robert Tragesser's Phenomenology & Logic, IHPST: breaktime conversations with G Sundholm and others
Item
MW0000139 - BLANK
Item
MW0000139 - BLANK
Item
MW0000140 - 21/06/07 Intl. Category Theory Conference, Carveilho: P.T Johnstone: Lawvere, cohesion
Item
MW0000140 - 23/06/07 Intl. Category Theory Conference, Carveilho: Martin Hyland: Fibrations in logic
Item
MW0000141 - 18/06/07 Intl. Category Theory Conference, Carveilho: FW Lawvere: Strong Nullstellensatz for Euler continua in a cohesive topos / Tom Leinster: Jonsson-Tarski toposes
Item
MW0000141 - 20/06/07 Intl. Category Theory Conference, Carveilho: Marcelo Fiore: Mathematical theory of substitution / Stephen Lack: Lawvere 2-theories
Item
MW0000142 - 21/06/07 Newton &/as Philosophy Conference, Leiden: Lynn Joy: Newton's divine phenomenalism & Humean legacy / discussion
Item
MW0000142 - 21/06/07 Newton &/as Philosophy Conference, Leiden: Graciela De Pierris: Newton, Locke, Hume & scientific methodology / discussion
1514 more...
Search
Reports
23/06/07 Intl. Category Theory Conference, Carveilho: Martin Hyland: Fibrations in logic
Reports
There are no relevant reports for this item
Cancel