Michael Wright Collection

Mostrar 2 resultados

Descrição arquivística

Freyd, PJ

Previsualizar a impressão

Visualização em ficha Visualização em tabela

31/05/05 Topos Theory Summer School, Haute Bodeux: PJ Freyd: Realizability & independence proofs I - NNOs in topos / Miles Tierney: Homotopy theory in toposes lecture 1

michael-wright-collection-MW0000882 · Item

Parte de Michael Wright Collection

30/05/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: Examples of toposes / Tutorial session & discussions FW Lawvere, Freyd, Johnstone, Tierney et al.

michael-wright-collection-MW0000883 · Item

Parte de Michael Wright Collection