Wikilord

Carte Rare

Calcul des séquents

système de déduction mathématique

Valeur
50 W
Attaque
256
Défense
205
Joueurs
0

362 vues Wikipédia ces 30 derniers jours

En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen.

Obtiens Calcul des séquents dans ta collection

Chaque carte de Wikilord est un article Wikipédia. Ouvre des paquets gratuitement, échange, combats et grimpe au classement.

Ouvrir un paquet gratuit