Contributions de 2A01:CB00:8795:8800:1D0D:F3BC:2E41:F954
De 2A01:CB00:8795:8800:1D0D:F3BC:2E41:F954 discuter journal des blocages journaux journal des abus
7 janvier 2024
- 07:387 janvier 2024 à 07:38 diff hist −1 Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre calcul des séquents actuelle Balise : Éditeur visuel