Notice Dewey
- Notice
511.36 (23e éd.) = Théorie de la preuve et mathématiques constructives
Ajouter les subdivisions pour chaque partie ou pour l'ensemble de l'intitulé
Y compris la logique intuitionniste, les mathématiques intuitionnistes
Y compris la logique intuitionniste, les mathématiques intuitionnistes
Forme(s) rejetée(s) :
< Logique intuitionniste (logique mathématique)
< Mathématiques constructives
< Mathématiques intuitionnistes
< Théorie de la preuve (logique mathématique)
< Logique intuitionniste (logique mathématique)
< Mathématiques constructives
< Mathématiques intuitionnistes
< Théorie de la preuve (logique mathématique)
Identifiant de la notice : ark:/12148/cb136839501
Notice n° :
FRBNF13683950
Création :
01/10/01
Mise à jour :
23/06/07
