● Langage du premier ordre langage dans lequel on ne quantifie que les variables d'individu (et non pas, par exemple, les ensembles d'individus).
Encyclopédie Universelle. 2012.
● Langage du premier ordre langage dans lequel on ne quantifie que les variables d'individu (et non pas, par exemple, les ensembles d'individus).
Encyclopédie Universelle. 2012.