calcul des séquents
concept système de déduction mathématique
Nature : concept mathématique
Catégories : concepts mathématiques · sciences · concepts abstraits
Mots du lexique : Calcul nom propre
concept système de déduction mathématique
Nature : concept mathématique
Catégories : concepts mathématiques · sciences · concepts abstraits
Mots du lexique : Calcul nom propre