Skip to main content

Archive Trust Mathematical Sciences & Philosophy

Parcourir
Descriptions archivistiques
Notices d'autorité
Services d'archives
Fonctions
Sujets
Lieux
Documents numériques

Rechercher

Recherche générale

Recherche avancée

Presse-papier
- Presse-papier
- Effacer toutes les sélections
- Aller au presse-papier
- Charge le presse-papier
- Sauvegarder le presse-papier
Langue
- Langue
- English
- Français
- Español
- Nederlands
- Português
Liens rapides
- Liens rapides
- Accueil
- À propos
- Politique de confidentialité
- Aide

Avez-vous un compte ?

Courriel*This field is required.

Mot de passe*This field is required.

FondsMichael Wright Collection
374 en plus...
PièceMW0003736 - 31/07/74 ISILC - Logic Conference, Kiel: afternoon
PièceMW0003736 - 31/07/74 ISILC - Logic Conference, Kiel: afternoon (contd.)
PièceMW0003737 - 30/07/74 ISILC - Logic Conference, Kiel: Jens Erik Fenstad: Part 1
PièceMW0003737 - 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
PièceMW0003738 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic
PièceMW0003738 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic (contd.)
PièceMW0003739 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II
PièceMW0003739 - 30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II (contd.)
PièceMW0003740 - 18/07/74 ISILC - Logic Conference, Kiel: Wayne Richter: On inductive definitions
7852 en plus...

Rapports

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic

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

Annuler

Imprimé : 2026-04-17