| intuitionistic and linear logics < intuitionistic logic < intutionism | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001B32 (1995) | O. Hermann | Mécanisation de la recherche de preuves et de programmes en Arithmétique Fonctionnelle du Second Ordre |
| 002178 |