David Makinson on Classical Methods for Non-Classical Problems.
Résumé
An intuitionistic basis for input/output logic.
SANDRINE PITOU : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01054375
Soumis le : mercredi 6 août 2014-13:41:34
Dernière modification le : vendredi 24 mars 2023-14:52:59