Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations avec la langue, la philosophie et les fondements des mathématiques sont abordées à la lumière des résultats démontrés.

Destiné à un large public, ce livre ne nécessite que des connaissances élémentaires en mathématiques.

Avertissement - Préambule - Les langages du premier ordre - L'idée de modèle ensembliste - La logique (ou calcul) des propositions - Les fonctions de vérité - Les axiomes de l'égalité ou formules de Leibniz - La logique des quantificateurs - La méthode de Henkin: la réduction à la logique des propositions - L'idée de preuve. Le théorème de complétude de la logique du premier ordre - Extension de la logique élémentaire du premier ordre - Quelques remarques sur la logique du premier ordre - Aperçus sur d'autres logiques formelles - Epilogue - Exercices - Index terminologique - Index des notations - Petite bibliographie.

Ce recueil de 1571 exercices (dont 167 ont été ajoutés à cette 3e édition) est principalement destiné aux étudiants du premier cycle universitaire qui suivent un cours sur le calcul différentiel et intégral concernant les fonctions réelles d’une variable réelle, mais il s’adresse aussi à tous ceux qui souhaitent parfaire leurs connaissances dans l’un ou l’autre des sujets traités.

Cet ouvrage complète le volume 1 qui traite des fonctions réelles d'une variable réelle. Il comprend un très grand nombre d'exercices résolus et de solutions développées en détail.

Cet ouvrage présente une introduction aux notions mathématiques nécessaire à l'utilisation des méthodes numériques employées dans les sciences de l'ingénieur.

Ce cours d’introduction à la géométrie propose une vision et une pensée solides ainsi qu’une initiation aux applications de la géométrie. Rigoureuse dans son approche, la matière est exposée sous forme de principes premiers, dont tous les théorèmes sont démontrés.