Environnement sémantique direct

Terme générique

Employé pour

  • déduction

déduction (logique)

Terme associé

Aucun terme associé

Terme spécifique