Wikilord

Carte Rare

Logique intuitionniste

logique formelle constructive

Valeur
50 W
Attaque
275
Défense
220
Joueurs
0

566 vues Wikipédia ces 30 derniers jours

La logique intuitionniste est une logique qui diffère de la logique classique par le fait que toute affirmation doit être démontrable par une preuve constructive.

Obtiens Logique intuitionniste 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