Accueil » Publications » Le Bulletin Vert » Pour un inventaire » Logique mathématique
  APMEP   Logique mathématique

Article du bulletin 449

Paul Louis Hennequin

par René Cori et Daniel Lascar

DUNOD, coll. SCIENCES SUP

cours et exercices corrigés, licence, master, janvier 2003

volume 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats
385 p.
ISBN 2 10 005452 X

volume 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
347 p.
ISBN 2 10 005453 8.

Réimpression à l’identique d’un grand traité de référence publié en 1993 chez MASSON.

La bibliographie aurait mérité une mise à jour.

(Article mis en ligne par Armelle BOURGAIN)
 Accueil   Plan du site   Haut de la page   Page précédente