Environnement sémantique direct

Terme générique

Employé pour

  • logique formelle

logique mathématique

Termes associés