Langage de la Logique

concept

langage qui vise l'expression d'une logique pure

Propriétés

Catégories