Détail de l'auteur
Documents disponibles écrits par cet auteur
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche
texte imprimé
Ce cours est une introduction à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions " qu'est-ce qu'un énoncé ? une démonstration ? " ou, plus fondamentalement, " qu'est[...]
