Michael Wright Collection

Showing 8146 results

Archivistische beschrijving

Print preview

Card view Table view

24/07/74 Jörg Flum

michael-wright-collection-MW0003734 · Stuk

Part of Michael Wright Collection

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

michael-wright-collection-MW0003738 · Stuk

Part of Michael Wright Collection

01/08/74 ISILC - Logic Conference, Kiel: H Rasiowa: On algebraic semantics for systems of multi-valued algorithmic languages

michael-wright-collection-MW0003741 · Stuk

Part of Michael Wright Collection

03/08/74 ISILC - Logic Conference, Kiel: Contributed papers

michael-wright-collection-MW0003747 · Stuk

Part of Michael Wright Collection

20/07/74 ISILC - Logic Conference, Kiel: Peter Krauss: Quantifier elimination

michael-wright-collection-MW0003749 · Stuk

Part of Michael Wright Collection

22/07/74 ISILC - Logic Conference, Kiel: Jörg Flum: First-order logic and its extensions

michael-wright-collection-MW0003749 · Stuk

Part of Michael Wright Collection

31/05/74 Oxford Logic Seminar: Set theories incorporating Hilbert's E-symbol

michael-wright-collection-MW0003751 · Stuk

Part of Michael Wright Collection

15/06/74 Nancy Cartwright: On QM (contd.) /

michael-wright-collection-MW0003753 · Stuk

Part of Michael Wright Collection

15/05/74 Michael Wright: On ITRs

michael-wright-collection-MW0003754 · Stuk

Part of Michael Wright Collection

26/11/74 Michael Wright & Robin Kayser / Michael Wright: On ITRs

michael-wright-collection-MW0003759 · Stuk

Part of Michael Wright Collection

Resultaten 1201 tot 1210 van 8146

Vorige
1
...
118
119
120
121
122
123
124
...
815
Volgende