71 U 7t lit 1 Licence • Master LOGIQUE MATHÉMATIQUE 2. Fonctions récursives, théorème de Gôdel, théorie des ensembles, théorie des modèles Préface de Jean-Louis Krivine René Cori Daniel Lascar i( ti LOGIQUE MATHÉMATIQUE 2. Fonctions recursives, théorème de Gôdel, théorie des ensembles, théorie des modèles o sur # i. h ttp://www.dunoclxom SCIENCES ■ T HN » UES INfOJfcMATHîUE :' 0t*ncnl ; Microsoft e$s MAMAC^ENT 4*.. # ' SCHÉN S HUMAINES r enllyit :Sc- fcA* X? C mplé t Raii veau té& ^ ■ ■ î agazine :#/.! LOGIQUE MATHÉMATIQUE 2. Fonctions récursives, théorème de Gôdel, théorie des ensembles, théorie des modèles Cours et exercices corrigés René Cori Maître de conférences à l'université Paris 7 - Denis Diderot Daniel Lascar Directeur de recherches au CNRS Préface de Jean-Louis Krivine DUNOD L'édition originale de cet ouvrage a été publiée en 1993 aux éditions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine. Illustration de couverture : Lionel Auvergne Ce pictogramme mérite une explication. Son objet est d'alerter le lecteur sur la menace que représente pour l'avenir de l'écrit, particulièrement dans le domaine de l'édition technique et universitaire, le développement massif du photo- copillage. Le Code de la propriété intellectuelle du Ier juillet 1992 interdit en effet expressément la photocopie à usage collectif sans autorisation des ayants droit. Or, cette pratique s'est généralisée dans les DANGER LEPHOTOCOPUAGE TUE LE LIVRE établissements d'enseignement supérieur, provoquant une baisse brutale des achats de livres et de revues, au point que la possibilité même pour les auteurs de créer des œuvres nouvelles et de les faire éditer correctement est aujourd'hui menacée. Nous rappelons donc que toute reproduction, partielle ou totale, de la présente publication est interdite sans autorisation du Centre français d'exploitation du droit de copie (CFC, 20 rue des