Terme équivalent dans un autre système : Logique mathématique non classique
Date de consultation du référentiel ou de la classification externe : 1998-02-18
Code du système ou de la classification utilisé : RVMLaval
Terme équivalent dans un autre système : Nonclassical mathematical logic
Date de consultation du référentiel ou de la classification externe : 2017-02-09
Code du système ou de la classification utilisé : LCSH