Cote : 0580
Ce fascicule présente, comme son titre l'indique, une introduction à la logique mathématique, c'est-à-dire à la théorie mathématique dont le premier objectif est d'exprimer sous forme de théorèmes le fonctionnement général d'une théorie mathématique.
logique
... Lire [+]
