A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'logique mathematique fonction recursive theoreme de g? theorie ensemble modele'




Logique mathématique t.2 / R. Cori
Titre : Logique mathématique t.2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Titre original : Cours et exercices Type de document : texte imprimé Auteurs : R. Cori ; Daniel Lascar ; Krivine, Jean-Louis Editeur : Paris Milan Barcelone Bonn : Masson Année de publication : 1993 Collection : Axiomes collection de logique mathématique, ISSN 1243-4264 Importance : xv - 347 p. ISBN/ISSN/EAN : 978-2-225-84080-7 Langues : Français Mots-clés : logique mathematique fonction recursive theoreme de g? theorie ensemble modele Index. décimale : 103I Logique mathématique t.2 = Cours et exercices : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles [texte imprimé] / R. Cori ; Daniel Lascar ; Krivine, Jean-Louis . - Paris Milan Barcelone Bonn : Masson, 1993 . - xv - 347 p.. - (Axiomes collection de logique mathématique, ISSN 1243-4264) .
ISBN : 978-2-225-84080-7
Langues : Français
Mots-clés : logique mathematique fonction recursive theoreme de g? theorie ensemble modele Index. décimale : 103I Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11118 103I02 imprimé / autre CRDM 103/DEUG ET MATHEMATIQUES SPECIALES Disponible