Demo site

Showing 35 results

Archival description

ISILC - Logic Conference

Print preview

Card view Table view

31/07/74 ISILC - Logic Conference, Kiel: afternoon (contd.)

michael-wright-collection-MW0003736 · Item

Part of Michael Wright Collection

31/07/74 ISILC - Logic Conference, Kiel: afternoon

michael-wright-collection-MW0003736 · 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

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

michael-wright-collection-MW0003738 · Item

Part of Michael Wright Collection

23/07/74 ISILC - Logic Conference, Kiel: Simon Kochen

michael-wright-collection-MW0003756 · Item

Part of Michael Wright Collection

23/07/74 ISILC - Logic Conference, Kiel: Jörg Flum

michael-wright-collection-MW0003756 · Item

Part of Michael Wright Collection