Système Logique

concept

système formel dédié au raisonnement et aux déductions logiques

Propriétés

p279_labels
système formel

Catégories