Le théorème de Gödel /
Saved in:
| Imprint: | Paris : Éditions du Seuil, 1997. ©1989, |
|---|---|
| Description: | 178 pages : illustrations ; 18 cm. |
| Language: | French |
| Series: | Points. Sciences ; 122 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8933371 |
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 8933371 | ||
| 003 | ICU | ||
| 005 | 20121224142400.0 | ||
| 008 | 121224t19971989fr a b 000 0 fre c | ||
| 020 | |a 2020327783 | ||
| 020 | |a 9782020327787 | ||
| 035 | |a (OCoLC)822879586 | ||
| 040 | |a CGU |b eng |e rda |c CGU | ||
| 041 | 1 | |a fre |h eng |h ger | |
| 042 | |a pcc | ||
| 049 | |a CGUA | ||
| 050 | 4 | |a QA9.65 |b .T414 1997 | |
| 245 | 0 | 3 | |a Le théorème de Gödel / |c Ernest Nagel, James R. Newman, Kurt Gödel, Jean-Yves Girard ; traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer. |
| 264 | 1 | |a Paris : |b Éditions du Seuil, |c 1997. | |
| 264 | 4 | |c ©1989, | |
| 300 | |a 178 pages : |b illustrations ; |c 18 cm. | ||
| 336 | |a text |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 0 | |a Points. Sciences ; |v 122 | |
| 505 | 0 | |a I. La démonstration de Gödel / par Ernest Nagel & James R. Newman ; traduit de l'anglais, Gödel's proof -- II. Sur les propositions formellement indécidables de Principia Mathematica et des systèmes apparentés I / par Kurt Gödel ; traduit de l'allemand, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I -- III. Le champ du signe ou la faillite du réductionnisme / par Jean-Yves Girard. | |
| 650 | 0 | |a Gödel's theorem. |0 http://id.loc.gov/authorities/subjects/sh85055601 | |
| 650 | 7 | |a Gödel's theorem. |2 fast |0 http://id.worldcat.org/fast/fst00949806 | |
| 700 | 1 | |a Nagel, Ernest, |d 1901-1985. |0 http://id.loc.gov/authorities/names/n50041346 |1 http://viaf.org/viaf/108245652 | |
| 700 | 1 | |a Newman, James Roy, |d 1907-1966. |0 http://id.loc.gov/authorities/names/n50005226 |1 http://viaf.org/viaf/74426625 | |
| 700 | 1 | |a Gödel, Kurt. |0 http://id.loc.gov/authorities/names/n79007770 |1 http://viaf.org/viaf/97851774 | |
| 700 | 1 | |a Girard, Jean-Yves. |0 http://id.loc.gov/authorities/names/n88081093 |1 http://viaf.org/viaf/84575083 | |
| 903 | |a HeVa | ||
| 929 | |a cat | ||
| 999 | f | f | |i 8c185655-6752-5d7f-8303-aa4988b948f3 |s 61b4757c-de34-5c5e-bf0a-d506e309346c |
| 928 | |t Library of Congress classification |a QA9.65.T414 1997 |l ASR |c ASR-SciASR |i 1137633 | ||
| 927 | |t Library of Congress classification |a QA9.65.T414 1997 |l ASR |c ASR-SciASR |e SWANSON |e CRERAR |b 100343831 |i 9103188 | ||
