mat-22257 - logique et techniques de preuve - Université Laval

Chaque chapitre contient un résumé consistant du cours empli d'illustrations et d'applications suivi d'une série d'exercices de degré de difficulté variée.