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.