Michael Wright Collection

Showing 8146 results

Archival description

Print preview

Card view Table view

10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Jean Ficot: Godel's functional interpretation of intuitionistic logic; constructivity and calculability

michael-wright-collection-MW0002515 · Item

Part of Michael Wright Collection

10/06/07 100 years of intuitionism 1907-2007, Cerisy-la-Salle: Giovanni Sambin: 2 principles of dynamic constructivism; Brouwer's principle of continuity and choice sequences in formal topology / Mitsu Okada: Intuitionistic logic and linear logic

michael-wright-collection-MW0002514 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: FW Lawvere, Colin McLarty & Angus MacIntyre: discussion re. 0-Minimality program, tame topology, ramifications & other topics

michael-wright-collection-MW0000848 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: FW Lawvere, Colin McLarty & Angus MacIntyre: Discussion re. 0-Minimality program, tame topology, ramifications & other topics

michael-wright-collection-MW0000864 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: FW Lavere, Colin McLarty & Angus MacIntyre: discussion re. 0-Minimality program, tame topology, ramifications & other topics (contd.)

michael-wright-collection-MW0000848 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: Discussions: FW Lawvere, C McLarty, A MacIntyre, JL Bell, M Wright

michael-wright-collection-MW0000847 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: breakfast & afterwards conversations: C McLarty, A MacIntyre, JL Bell (contd.)

michael-wright-collection-MW0000852 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: breakfast & afterwards conversations: C McLarty, A MacIntyre, JL Bell

michael-wright-collection-MW0000852 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: Afternoon Discussions & conversations after P Cartier arrival (contd.)

michael-wright-collection-MW0000846 · Item

Part of Michael Wright Collection

10/06/05 Rencontres, Fougeres: Afternoon Discussions & conversations after P Cartier arrival (contd.)

michael-wright-collection-MW0000845 · Item

Part of Michael Wright Collection

Results 5371 to 5380 of 8146

Previous
1
...
535
536
537
538
539
540
541
...
815
Next