Rechercher

Recherche générale

Courriel*This field is required.

Mot de passe*This field is required.

FondsMichael Wright Collection
1498 en plus...
PièceMW0003551 - 20/05/88 Math Logic Seminar, Oxford: Andrew Hodges: Twistor formulation
PièceMW0003551 - 20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus
PièceMW0003552 - 20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus
PièceMW0003552 - 20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus (contd.)
PièceMW0003553 - ??/??/88 Peter Braam
PièceMW0003553 - ??/??/88 Peter Braam (contd.)
PièceMW0003554 - ??/??/88 Steve French: Identity & indiscernibles
PièceMW0003554 - ??/??/88 Steve French: Identity & indiscernibles (contd.)
PièceMW0003555 - 25/05/88 Philosophy of Mathematics Seminar, Oxford: conv. Dan Isaacson: Graham Higman: Caverns measureless to man - the middle scale structure of mathematics
6728 en plus...

Rapports

??/??/88 Peter Braam

Il n'y a pas de rapports pertinents pour cet élément

Imprimé : 2026-04-17