5 résultat(s) recherche sur le mot-clé 'théorème de Gödel'    

Les limitations internes des formalismes / Jean LADRIERE (1957)

Public ISBD Titre : Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques Type de document : texte imprimé Auteurs : Jean LADRIERE, Auteur Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1957 Collection : Collection de logique mathématique Sous-collection : Série B. Monographies réunies par M. J. Dopp num. II Importance : XIII-715 p. Langues : Français Mots-clés : théorème de Gödel  formalisme  logique mathématique  fondement des mathématiques Note de contenu : biibliogr. Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques [texte imprimé] / Jean LADRIERE, Auteur . - Louvain (Belgique) : E. Nauwelaerts, 1957 . - XIII-715 p.. - (Collection de logique mathématique. Série B. Monographies réunies par M. J. Dopp; II) . Langues : Français Mots-clés : théorème de Gödel  formalisme  logique mathématique  fondement des mathématiques Note de contenu : biibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5515	LAD/02/3615	Livre	Recherche	Salle	Disponible

Logique mathématique. 2 / René CORI (DL 2003)

Public ISBD Titre : 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 Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Malakoff : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-347 p. ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Anglais Mots-clés : logique mathématique  fonction récursive  théorème de Gödel  théorie des ensembles  théorie des modèles Note de contenu : index, notations, bibliogr. 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 [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Malakoff : Dunod, DL 2003 . - XV-347 p.. - (Sciences Sup, ISSN 1636-2217) . ISBN : 978-2-10-005453-4 Langues : Anglais Mots-clés : logique mathématique  fonction récursive  théorème de Gödel  théorie des ensembles  théorie des modèles Note de contenu : index, notations, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19529	COR/02/7888-II	Livre	Recherche	Salle	Sorti jusqu'au 18/06/2022

Le théorème de Gödel / Ernest NAGEL (DL 1989)

Public ISBD Titre : Le théorème de Gödel Type de document : texte imprimé Auteurs : Ernest NAGEL, Auteur ; James R. NEWMAN, Auteur ; Kurt GÖDEL, Auteur ; Jean-Baptiste SCHERRER, Traducteur Editeur : Paris : Éd. du Seuil Année de publication : DL 1989 Collection : Sources du savoir Importance : 178 p. Présentation : ill. ISBN/ISSN/EAN : 978-2-02-010652-8 Langues : Français Langues originales : Anglais Allemand Mots-clés : théorème de Gödel Note de contenu : index, bibliogr. Le théorème de Gödel [texte imprimé] / Ernest NAGEL, Auteur ; James R. NEWMAN, Auteur ; Kurt GÖDEL, Auteur ; Jean-Baptiste SCHERRER, Traducteur . - Paris : Éd. du Seuil, DL 1989 . - 178 p. : ill.. - (Sources du savoir) . ISBN : 978-2-02-010652-8 Langues : Français Langues originales : Anglais Allemand Mots-clés : théorème de Gödel Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
23208	NAG/00A30/13048	Livre	Recherche	Salle	Disponible

Godel's proof / Ernest NAGEL (1958)

Public ISBD Titre : Godel's proof Type de document : texte imprimé Auteurs : Ernest NAGEL, Auteur ; James R. NEWMAN, Auteur Editeur : New York : New York University Press Année de publication : 1958 Importance : 118 p. Présentation : ill. Langues : Anglais Mots-clés : théorème de Gödel Godel's proof [texte imprimé] / Ernest NAGEL, Auteur ; James R. NEWMAN, Auteur . - New York : New York University Press, 1958 . - 118 p. : ill. Langues : Anglais Mots-clés : théorème de Gödel

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5535	NAG/02/1236	Livre	Recherche	Salle	Disponible

Word problems / W. W. BOONE (Cop. 1973)

Public ISBD Titre : Word problems : decision problems and the burniside problem in group theory Type de document : texte imprimé Auteurs : W. W. BOONE, Editeur scientifique ; F. B. CANNONITO, Editeur scientifique ; Roger C. LYNDON, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : Cop. 1973 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X num. 71 Importance : XII-646 p. Note générale : Ce volume est issu de la conférence 'Decision problems in group theory', (CODEP) qui s'est tenue à l'Université de Californie, Irvine, en Septembre 1969. Langues : Anglais Mots-clés : théorie des groupes  problème de Burnside  théorème de Gödel Note de contenu : références Word problems : decision problems and the burniside problem in group theory [texte imprimé] / W. W. BOONE, Editeur scientifique ; F. B. CANNONITO, Editeur scientifique ; Roger C. LYNDON, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, Cop. 1973 . - XII-646 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X; 71) . Ce volume est issu de la conférence 'Decision problems in group theory', (CODEP) qui s'est tenue à l'Université de Californie, Irvine, en Septembre 1969. Langues : Anglais Mots-clés : théorie des groupes  problème de Burnside  théorème de Gödel Note de contenu : références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3569	BOO/02/4479	Livre	Recherche	Salle	Disponible