Búsqueda

Búsqueda global

Correo electrónico*This field is required.

Contraseña*This field is required.

FondoMichael Wright Collection
1500 más...
Unidad documental simpleMW0003552 - 20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus
Unidad documental simpleMW0003552 - 20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus (contd.)
Unidad documental simpleMW0003553 - ??/??/88 Peter Braam
Unidad documental simpleMW0003553 - ??/??/88 Peter Braam (contd.)
Unidad documental simpleMW0003554 - ??/??/88 Steve French: Identity & indiscernibles
Unidad documental simpleMW0003554 - ??/??/88 Steve French: Identity & indiscernibles (contd.)
Unidad documental simpleMW0003555 - 25/05/88 Philosophy of Mathematics Seminar, Oxford: conv. Dan Isaacson: Graham Higman: Caverns measureless to man - the middle scale structure of mathematics
Unidad documental simpleMW0003555 - 25/05/88 Philosophy of Mathematics Seminar, Oxford: conv. Dan Isaacson: Graham Higman: Caverns measureless to man - the middle scale structure of mathematics (contd.)
Unidad documental simpleMW0003556 - 30/05/88 Aristotelian Society Meeting, London: James Higginbotham: Is semantics necessary?
6726 más...

Informes

??/??/88 Steve French: Identity & indiscernibles

No hay informes relevantes para este ítem

Imprimido: 2026-04-19