| Auteur | Message |
|---|---|
|
Administrateur
 |
The Triumph of Types: Principia Mathematica's Impact on Computer Science (srcf.ucam.org) [PDF]. Robert L. Constable, date inconnue, Université de Cornell.
Également ajouté à la bibliographie dans le sujet des notes en vrac sur les logiques. |
|
|
|
Administrateur
|
Le site du Formal Systems Laboratory — FSL — de l’université de l’Illinois : fsl.cs.illinois.edu. Voir la page des publications : FSL Publications (fsl.cs.illinois.edu).
|
|
|
|
