Les théorèmes d'incomplétude de Gödel

Kaydedildi:
Detaylı Bibliyografya
Yazar: Smullyan, Raymond Merrill, 1919-2017
Diğer Yazarlar: Margenstern, Maurice, 19..-...., mathématicien (Çevirmen)
Materyal Türü: Livre papier
Dil:Français
Baskı/Yayın Bilgisi: Paris ; Milan [etc.] : Masson DL 1993.
Seri Bilgileri:Axiomes
Konular:
Not: Traduit de: "Gödel's incompleteness theorems"
Autres localisations: Voir dans le Sudoc
LEADER 01425nam a22003257a 4500
001 78297
008 930830t19931993xxe ||| |||| 00| 0 fre d
009 PPN002960842
020 |z 2225840792 (br.) 
020 |a 2225841950 (Dos de page de titre) 
024 |a 9782225841958 
041 1 |a fre  |h eng 
080 |a 510.6 
082 |a 510 
100 1 |a Smullyan, Raymond Merrill,  |d 1919-2017. 
245 1 0 |a Les théorèmes d'incomplétude de Gödel   |c Raymond M. Smullyan,... ; traduit de l'anglais par M. Margenstern. 
260 |a Paris ;  |a Milan [etc.] :  |b Masson,  |c DL 1993. 
300 |a 1 vol. (XI-134 p.) :  |b couv. ill. ;  |c 24 cm. 
490 0 |a Axiomes  |x 1243-4264 
500 |a Traduit de: "Gödel's incompleteness theorems" 
504 |a Bibliogr. p. [130]-132. Index 
650 |a Arithmétique  |x Fondements 
650 |a Logique symbolique et mathématique 
650 |a Gödel, Théorème de 
700 1 |a Margenstern, Maurice,  |d 19..-....,  |c mathématicien.  |4 trl 
765 0 |t Gödel's incompleteness theorems  |d cop. 1992 
915 |5 452342104:004924452  |a 010 105754 6 (ex. 1) 
917 |5 452342104:004924452  |a aaxx 
997 |0 78297  |1 Livre papier  |a Ressource papier  |c 0/Orléans/  |c 1/Orléans/BU Sciences, Technologies, STAPS/  |z Orléans, BU Sciences, Technologies, STAPS, B150-2  |z Orléans, BU Sciences, Technologies, STAPS, 511.3 SMU 
999 |5 452342104:004924452  |c BU  |d ORLE04  |a 510.6 SMU  |b ex. 1  |g B150-2  |A 010 105754 6  |B ex. 1