Showing 35 results

Archival description

ISILC - Logic Conference

Print preview

Card view Table view

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

MW0003736 · Item

Part of Michael Wright Collection

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

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

MW0003737 · 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: Dana Scott: On λ-calculus, continuous lattices & combinatory logic (contd.)

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.)

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

MW0003738 · Item

Part of Michael Wright Collection

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

MW0003756 · Item

Part of Michael Wright Collection

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

MW0003756 · Item

Part of Michael Wright Collection