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,... Daniel Lascar,...

Livre

Cori, René. Auteur | Lascar, Daniel (1942-....). Auteur

Edited by Dunod - 2003

Ce 2e tome est plus particulièrement consacré 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.

Autres documents dans la collection «Sciences sup»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul de...

Livre | Cori, René. Auteur | 2003

Du même sujet

Le théorème de Gödel / Ernest Nagel, James R. Newman, Kurt Gödel... [et al....

Livre | Nagel, Ernest (1901-1985). Auteur | 1997

Rassemble la traduction de l'article original de K. Gödel, une version vulgarisée de sa démonstration par E. Nagel et J. R. Newman, et un essai du logicien J.- Y. Girard qui fait le point sur les problèmes d'interprétation du célè...

Logique et philosophie : manuel d'introduction pour les étudiants du supéri...

Livre | Wagner, Pierre (1963-....) - chercheur en philosophie. Auteur | 2014

Le raisonnement et la logique des choses : les conférences de Cambridge, 18...

Livre | Peirce, Charles Sanders (1839-1914). Auteur | 1995

Théorie des ensembles et logique mathématique : des infinis mathématiques a...

Livre | Patarin, Jacques (1965-....). Auteur | 2020

Cet ouvrage traite de deux des domaines les plus célèbres des mathématiques : la théorie des ensembles et la logique. La théorie des ensembles, développée au XIXe et au XXe siècle, est en particulier une théorie mathématique de l'...

Dictionnaire des mathématiques / Alain Bouvier, Michel George, François Le ...

Livre | Bouvier, Alain (1943-....). Auteur | 2009 - 3e édition mise à jour Quadrige

Toutes les maths pour bien commencer sa licence / François Cottet-Émard

Livre | Cottet-Emard, François (19..-....) - mathématicien. Auteur | 2017

Cet ouvrage récpitule toutes les mathématiques apprises dans l'enseignement secondaire qu'il faut bien maîtriser pour débuter une licence scientifique à l'Université. Il reprend les élèments de logique et de raisonnement, toutes l...

Chargement des enrichissements...