Term browse - International Summer Institute and Logic Colloquium - Archive Trust for Research in Mathematical Sciences & Philosophy

31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on Martin-Löf's intuitionism & proof theory

MW0000976 · Item

Part of Michael Wright Collection

31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on intuitionism & Martin-Löf's type theory

MW0000974 · Item

Part of Michael Wright Collection

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

MW0000976 · Item

Part of Michael Wright Collection

30/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (final lecture)

MW0000979 · Item

Part of Michael Wright Collection

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

MW0000977 · Item

Part of Michael Wright Collection

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

MW0000977 · Item

Part of Michael Wright Collection

29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (ii)

MW0000978 · Item

Part of Michael Wright Collection

29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (i)

MW0000978 · Item

Part of Michael Wright Collection

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

MW0000963 · Item

Part of Michael Wright Collection

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

MW0000963 · Item

Part of Michael Wright Collection

International Summer Institute and Logic Colloquium

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

International Summer Institute and Logic Colloquium

Equivalent terms

International Summer Institute and Logic Colloquium

Associated terms

International Summer Institute and Logic Colloquium

19 Archival description results for International Summer Institute and Logic Colloquium

Browse Subjects:

Narrow your results by:

﻿﻿﻿International Summer Institute and Logic Colloquium

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

﻿﻿﻿International Summer Institute and Logic Colloquium

Equivalent terms

﻿﻿﻿International Summer Institute and Logic Colloquium

Associated terms

﻿﻿﻿International Summer Institute and Logic Colloquium

19 Archival description results for ﻿﻿﻿International Summer Institute and Logic Colloquium

International Summer Institute and Logic Colloquium

International Summer Institute and Logic Colloquium

International Summer Institute and Logic Colloquium

International Summer Institute and Logic Colloquium

19 Archival description results for International Summer Institute and Logic Colloquium