Michael Wright Collection

Kiel

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Kiel

Términos equivalentes

Kiel

Términos asociados

Kiel

3 Descripción archivística resultados para Kiel

3 resultados directamente relacionados Excluir términos relacionados

30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Jörg Flum: last lecture of course

MWC-MW0000975 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0000975 · Unidad documental simple

Parte de Michael Wright Collection

30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Proof theory

MWC-MW0000979 · Unidad documental simple

Parte de Michael Wright Collection