MARC record from Internet Archive

LEADER: 02574cam 2200661 a 4500
001 ocm21566850
003 OCoLC
005 20220618003737.0
008 900521s1989 fr b 001 0 fre d
040 $aFCU$bfre$cFCU$dMUQ$dFRBML$dRUQBL$dBDF$dZWZ$dDEBBG$dOCLCQ$dCHRRO$dOCLCQ$dCHBCC$dOCLCO$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ
016 7 $aFRBNF350399030000005$2FrPBN
020 $a2020106523
020 $a9782020106528
035 $a(OCoLC)21566850
041 1 $afre$heng$hger
050 4 $aQA9
055 3 $aQA9.65T54$b1989
082 14 $a511.3$29
084 $a1"19"GOE8$aBCUDpi$2clasbcud
084 $aCC 2400$2rvk
245 03 $aLe théorème de Gödel /$cErnest Nagel [et autres] ; traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer.
260 $aParis :$bEditions du Seuil,$c©1989.
300 $a178 pages ;$c21 cm
336 $atexte$btxt$2rdacontent/fre
337 $asans médiation$bn$2rdamedia/fre
338 $avolume$bnc$2rdacarrier/fre
490 1 $aSources du savoir
504 $aBibliographie : page 173.
500 $aContient un index.
500 $aTraduction de : Gödel's proof, et de : Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
650 0 $aGödel's theorem.
650 0 $aMathematics$xPhilosophy.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aDecidability (Mathematical logic)
650 4 $athéorie nombre.
650 4 $athéorème Gödel.
650 6 $aThéorème de Gödel.
650 6 $aMathématiques$xPhilosophie.
650 6 $aLogique symbolique et mathématique.
650 6 $aDécidabilité (Logique mathématique)
650 7 $aDecidability (Mathematical logic)$2fast$0(OCoLC)fst00888990
650 7 $aGödel's theorem.$2fast$0(OCoLC)fst00949806
650 7 $aLogic, Symbolic and mathematical.$2fast$0(OCoLC)fst01002068
650 7 $aMathematics$xPhilosophy.$2fast$0(OCoLC)fst01012213
650 7 $aGödel, Théorème de.$2ram
650 7 $athéorème de Gödel.$2rero
650 7 $adécidabilité$xlogique mathématique.$2rero
700 1 $aNagel, Ernest,$d1901-
700 1 $aScherrer, Jean-Baptiste,$etrad.
830 0 $aSources du savoir.
856 42 $3Notice et cote du catalogue de la Bibliothèque nationale de France$uhttp://catalogue.bnf.fr/ark:/12148/cb35039903c
029 1 $aBDF$bFRBNF350399030000005
029 1 $aCHRRO$b1175127
029 1 $aDEBBG$bBV009143661
029 1 $aZWZ$b00150875X
029 1 $aZWZ$b107768569
994 $aZ0$bIME
948 $hNO HOLDINGS IN IME - 93 OTHER HOLDINGS