Bulletin Vert no 449
novembre — décembre 2003

Logique mathématique

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.

 

Les Journées Nationales
L’APMEP

Publications
Ressources

Actualités et Informations
Base de ressources bibliographiques

 

Les Régionales de l’APMEP