Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 467 p.
ISBN 978-0-19-853158-6
Oxford logic guides
Localisation : Ouvrage RdC (DUMM)
formalisation # logique intuitioniste # mathématique intuitioniste # preuve constructive # suite de choix
03F50 ; 03F55 ; 03F60 ; 03F65
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 331 p.
ISBN 978-0-19-850524-2
Oxford logic guides , 0039
Localisation : Ouvrage RdC (DUMM)
élément d'intuitionisme
... Lire [+]
