Contributions de 2A01:CB00:8795:8800:0:0:0:0/64
De 2A01:CB00:8795:8800:0:0:0:0/64 journal des blocages
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 2a01:cb00:8795:8800:1d0d:f3bc:2e41:f954 (discussion) calcul des séquents actuelle Balise : Éditeur visuel