Michael Wright Collection

Showing 8146 results

Archival description

Print preview

Card view Table view

30/08/80 - 31/08/80 MW notes & reflections

michael-wright-collection-MW0005149 · Item

Part of Michael Wright Collection

30/08/04 Telephone conversations incl. B J Hiley

michael-wright-collection-MW0001111 · Item

Part of Michael Wright Collection

30/08/04 Conversations incl. S Saunders

michael-wright-collection-MW0001229 · Item

Part of Michael Wright Collection

30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)

michael-wright-collection-MW0000976 · Item

Part of Michael Wright Collection

30/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (final lecture)

michael-wright-collection-MW0000979 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Jens Erik Fenstad: Part II / 31/07/74 Jens Erik Fenstad: On intuitionism & proof theory / Michael Wright: notes

michael-wright-collection-MW0003737 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Jens Erik Fenstad: Part 1

michael-wright-collection-MW0003737 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic (contd.)

michael-wright-collection-MW0003738 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II (contd.)

michael-wright-collection-MW0003739 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II

michael-wright-collection-MW0003739 · Item

Part of Michael Wright Collection

Results 1361 to 1370 of 8146

Previous
1
...
134
135
136
137
138
139
140
...
815
Next