Contributions de 2A01:CB00:8795:8800:1D0D:F3BC:2E41:F954
Résultats pour 2A01:CB00:8795:8800:1D0D:F3BC:2E41:F954 discuter journal des blocages journaux
7 janvier 2024
- 09:387 janvier 2024 à 09:38 diff hist +10 446 N Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre calcul des séquents actuelle