Issu d'un enseignement de logique dispensé en 2e et 3e cycles, ce cours traite de manière détaillée des domaines fondamentaux de la logique mathématique. Après avoir exposé dans le premier tome le calcul propositionnel, les algèbres de Boole, le calcul des prédicats, et les théorèmes de complétude, les auteurs consacrent le deuxième volume aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Ce deuxième tome est destiné aux étudiants de deuxième et troisième cycles universitaires en logique, mathématiques et informatique. Ils y trouveront notamment de nombreux exercices corrigés leur permettant une réelle acquisition des différentes notions logiques exposées. Cet ouvrage intéressera également les élèves-ingénieurs désirant s'orienter vers les mathématiques pures ou l'informatique, les chercheurs et les ingénieurs de recherche en informatique, soucieux de disposer d'un texte de référence sur les bases mathématiques de leur spécialité.
