30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Proof theory Add to clipboard MW0000979 · Item · 2007 Part of Michael Wright Collection Prawitz, Dag
30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Jörg Flum: last lecture of course Add to clipboard MW0000975 · Item · 2007 Part of Michael Wright Collection Flum, Jörg
30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Jörg Flum: last lecture of course (contd.) / 31/07/74 seminar on Martin-Löf's intuitionism & proof theory Add to clipboard MW0000975 · Item · 2007 Part of Michael Wright Collection Flum, Jörg