Le dixième problème de Hilbert : son indécidabilité

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Matiyasevich Yuri Vladimirovich (Auteur), Cegielski Patrick (Traducteur), Richard Denis (Traducteur), Gaillard François (Traducteur)
Format : Livre
Langue : français
Titre complet : Le dixième problème de Hilbert : son indécidabilité / Youri Matiiassevitch,...; traduit par Patrick Cegielski et Denis Richard; revu et corrigé par l'auteur
Publié : Paris, Milan, Barcelone : Masson , 1995
Description matérielle : 1 vol. (xv-307 p.)
Collection : Axiomes (Paris)
Traduction de : Hilbert's tenth problem
Diessiataia problema Guilberta
My collaboration with Julia Robinson
Sujets :
LEADER 03132cam a2200817 4500
001 PPN003900347
003 http://www.sudoc.fr/003900347
005 20231026061700.0
010 |a 2-225-84835-1  |b br.  |d 250 FRF 
020 |a FR  |b 09633299 
021 |a FR  |b DL 95-34530 
035 |a 024535656  |9 sudoc 
035 |a (OCoLC)33410070 
035 |a DYNIX_BUFDF_141785 
035 |a urouen67638 
035 |a lm84010 
035 |a DYNIX_BUNAN_272531 
035 |a ocm33410070 
035 |a bua54966 
035 |a ubs17072 
035 |a sib0680457 
035 |a frBN021594912 
073 0 |a 9782225848353 
100 |a 19960725h19951995k y0frey0103 ba 
101 1 |a fre  |b eng  |c rus  |2 639-2 
102 |a FR 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Le dixième problème de Hilbert  |e son indécidabilité  |f Youri Matiiassevitch,...  |g traduit par Patrick Cegielski et Denis Richard  |g revu et corrigé par l'auteur 
214 0 |a Paris  |a Milan  |a Barcelone  |c Masson  |d 1995 
215 |a 1 vol. (xv-307 p.)  |c ill., couv. ill.  |d 24 cm 
225 0 |a Axiomes  |x 1243-4264 
304 |a Traduit de la version anglaise de l'ouvrage paru en russe sous le titre : "Diessiataia problema Guilberta" 
312 |a En annexe : "Ma collaboration avec Julia Robinson" par Youri Matiiassevitch ; traduit par François Gaillard et Denis Richard, complétée et revue par l'auteur, paru dans la revue "The mathematical intelligencer", 1992 
320 |a Bibliographie p. 241-276. Index 
410 | |0 040091066  |t Axiomes (Paris)  |x 1243-4264 
454 | |t Hilbert's tenth problem  |d cop. 1993 
454 | |t Diessiataia problema Guilberta 
454 | |t My collaboration with Julia Robinson 
606 |3 PPN027841669  |a Espaces de Hilbert  |2 rameau 
606 |3 PPN027868664  |a Décidabilité (logique mathématique)  |2 rameau 
606 |3 PPN032990022  |a Hilbert, Problèmes de  |2 rameau 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
606 |3 PPN027359611  |a Analyse diophantienne  |2 rameau 
675 |a 51  |v Éd. 1967 
676 |a 510 
686 |a 03D35  |c 1991  |2 msc 
700 1 |3 PPN034478809  |a Matiyasevich  |b Yuri Vladimirovich  |f 1947-....  |4 070 
701 1 |3 PPN034478817  |a Cegielski  |b Patrick  |f 1954-....  |4 730 
701 1 |3 PPN031847560  |a Richard  |b Denis  |f 1942-....  |4 730 
701 1 |3 PPN034571973  |a Gaillard  |b François  |f 1925-....  |4 730 
801 3 |a FR  |b Abes  |c 20220331  |g AFNOR  |h 024535656 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 3 |a FR  |b BN  |g AFNOR 
801 0 |a FR  |b SCD Le Mans  |g AFNOR 
801 0 |a FR  |b UBS  |c 20020601  |g AFNOR 
979 |a IUTN 
979 |a SCI 
915 |5 441092104:180363506  |a 1160831642  |b 1160831642 
919 |5 441092104:180363506  |a 1160831642 
930 |5 441092104:180363506  |b 441092104  |j u 
930 |5 441092206:801177146  |b 441092206  |j s 
991 |5 441092206:801177146  |a Exemplaire créé en masse par ITEM. le 25-10-2023 14:04 
998 |a 166413