Showing 8236 results

Archival description

Print preview

Card view Table view

60 results with digital objects Show results with digital objects

30/06/79 - 01/07/79 MW Notes & reflections

MW0004862 · Item

Part of Michael Wright Collection

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

MW0003738 · Item

Part of Michael Wright Collection

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

MW0003739 · Item

Part of Michael Wright Collection

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

MW0003739 · Item

Part of Michael Wright Collection

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

MW0003738 · Item

Part of Michael Wright Collection

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

MW0003737 · 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

MW0003737 · 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)

MW0000979 · Item

Part of Michael Wright Collection

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

MW0000976 · Item

Part of Michael Wright Collection

30/08/04 Conversations incl. S Saunders

MW0001229 · Item

Part of Michael Wright Collection

Results 6341 to 6350 of 8236

Previous
1
...
632
633
634
635
636
637
638
...
824
Next