Rechercher

Recherche générale

Courriel*This field is required.

Mot de passe*This field is required.

FondsMichael Wright Collection
288 en plus...
PièceMW0000976 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)
PièceMW0000976 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on Martin-Löf's intuitionism & proof theory
PièceMW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (i): Computation structures & structure-preserving mappings
PièceMW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
PièceMW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (i)
PièceMW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (ii)
PièceMW0000979 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (final lecture)
PièceMW0000979 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Proof theory
PièceMW0000980 - a
7938 en plus...

Rapports

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

Il n'y a pas de rapports pertinents pour cet élément

Imprimé : 2026-04-19