Terme équivalent dans un autre système : Logique du premier ordre
Date de consultation du référentiel ou de la classification externe : 2003-09-17
Code du système ou de la classification utilisé : RVMLaval
Terme équivalent dans un autre système : First-order 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