Michael Wright Collection

Kiel

Área de elementos

Taxonomia

Locais

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

Kiel

Termos equivalentes

Kiel

Termos associados

Kiel

59 Descrição arquivística resultados para Kiel

Somente resultados diretamente relacionados

29/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Intuitionism & proof theory

MWC-MW0000963 · Item

Parte de Michael Wright Collection

29/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Intuitionism & proof theory (contd.)

MWC-MW0000963 · Item

Parte de Michael Wright Collection

17/07/74 International Summer Institute and Logic Colloquium, Kiel: William Boos: Large Cardinals

MWC-MW0000971 · Item

Parte de Michael Wright Collection

26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)

MWC-MW0000972 · Item

Parte de Michael Wright Collection

30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)

MWC-MW0000976 · Item

Parte de Michael Wright Collection

29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings

MWC-MW0000977 · Item

Parte de Michael Wright Collection

19/07/74 ISILC - Logic Conference, Kiel: William Boos: On large cardinal axioms

MWC-MW0003726 · Item

Parte de 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

MWC-MW0003737 · Item

Parte de Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II (contd.)

MWC-MW0003739 · Item

Parte de Michael Wright Collection

01/08/74 ISILC - Logic Conference, Kiel: William W Boone: Decision problem for groups

MWC-MW0003741 · Item

Parte de Michael Wright Collection

Resultados 1 a 10 de 59

Navegar Locais:

Limite os seus resultados por:

Assunto

Kiel

Área de elementos

Taxonomia

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

Kiel

Termos equivalentes

Kiel

Termos associados

Kiel

59 Descrição arquivística resultados para Kiel