Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Parcourir
Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques
Rechercher
Search options
Recherche générale
Recherche avancée
Search in browse page
Presse-papier
Presse-papier
Presse-papier
Effacer toutes les sélections
Aller au presse-papier
Charge le presse-papier
Sauvegarder le presse-papier
Langue
Langue
Langue
English
Français
Español
Nederlands
Português
Liens rapides
Liens rapides
Liens rapides
Accueil
À propos
Politique de confidentialité
Aide
Ouverture de session
Avez-vous un compte ?
Courriel
*
This field is required.
Mot de passe
*
This field is required.
Ouverture de session
Fonds
Recherche rapide
Fonds
Michael Wright Collection
287 en plus...
Pièce
MW0000975 - 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
Pièce
MW0000976 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad (part II)
Pièce
MW0000976 - 31/07/74 International Summer Institute and Logic Colloquium, Kiel: seminar on Martin-Löf's intuitionism & proof theory
Pièce
MW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (i): Computation structures & structure-preserving mappings
Pièce
MW0000977 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
Pièce
MW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (i)
Pièce
MW0000978 - 29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad I (ii)
Pièce
MW0000979 - 30/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (final lecture)
Pièce
MW0000979 - 30-31/07/74 International Summer Institute and Logic Colloquium, Kiel: Dag Prawitz: Proof theory
7939 en plus...
Rechercher
Rapports
29/07/74 International Summer Institute and Logic Colloquium, Kiel: Jens Erik Fenstad II (ii): Computation structures & structure-preserving mappings
Rapports
Il n'y a pas de rapports pertinents pour cet élément
Annuler