Michael Wright Collection

ISILC - Logic Conference

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

ISILC - Logic Conference

Términos equivalentes

ISILC - Logic Conference

Términos asociados

ISILC - Logic Conference

35 Descripción archivística resultados para ISILC - Logic Conference

35 resultados directamente relacionados Excluir términos relacionados

18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions (contd.)

MWC-MW0003740 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0003741 · Unidad documental simple

Parte de Michael Wright Collection

02/08/74 ISILC - Logic Conference, Kiel: Survey of Martin-Löf type theory & related systems

MWC-MW0003743 · Unidad documental simple

Parte de Michael Wright Collection

02/08/74 ISILC - Logic Conference, Kiel: Morning talks

MWC-MW0003743 · Unidad documental simple

Parte de Michael Wright Collection

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

MWC-MW0003756 · Unidad documental simple

Parte de Michael Wright Collection