m

F Nous contacter

0

Documents  Critères de recherche : "Elements of intuitionism" | enregistrements trouvés : 2

O
     

-A +A

P Q

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 [+]

Z