Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques / par Jean Ladriére
Saved in:
| Superior document: | Collection de logique mathématique : Sér. B. 2 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Louvain [u.a.] : Nauwelaerts [u.a.], 1957 |
| Year of Publication: | 1957 |
| Language: | French |
| Series: | Collection de logique mathématique : Sér. B.
2 |
| Subjects: | |
| Classification: | 08.33 - Logik |
| Physical Description: | XIII, 715 S. |
| Notes: | Literaturverz. S. [501] - 546 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 01557nam#a2200457#cb4500 | ||
|---|---|---|---|
| 001 | 990002577540504498 | ||
| 005 | 20230526205154.0 | ||
| 007 | tu | ||
| 008 | 130116|1957####|||######m####|||#|#fre#c | ||
| 009 | AC10681463 | ||
| 016 | 7 | |a 888251 |2 OCoLC | |
| 035 | |a (AT-OBV)AC10681463 | ||
| 035 | |a AC10681463 | ||
| 035 | |a (Aleph)010329059ACC01 | ||
| 035 | |a (DE-599)BVBBV007021875 | ||
| 035 | |a (DE-604)070218757 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990103290590203331 | ||
| 040 | |a OAW |b ger |c BAY |d UBW |e rakddb | ||
| 041 | |a fre | ||
| 044 | |c XA-FR | ||
| 050 | 4 | |a QA9 | |
| 082 | 0 | 4 | |a 510.1 |q DE-101 |2 n/a |
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a 08.33 |2 bkl |9 O: Automatisch generiert aus Konkordanz RVK-BK-Philosophie | ||
| 084 | |a CC 2600 |2 rvk | ||
| 084 | |a SK 130 |2 rvk | ||
| 089 | 0 | 4 | |a 510.1 |
| 100 | 1 | |a Ladrière, Jean |d 1921-2007 |0 (DE-588)119438348 |4 aut | |
| 245 | 1 | 0 | |a Les limitations internes des formalismes |b étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques |c par Jean Ladriére |
| 264 | 1 | |a Louvain [u.a.] |b Nauwelaerts [u.a.] |c 1957 | |
| 300 | |a XIII, 715 S. | ||
| 490 | 1 | |a Collection de logique mathématique : Sér. B. |v 2 | |
| 500 | |a Literaturverz. S. [501] - 546 | ||
| 502 | |a Zugl.: Louvain, Univ. Cathol., Diss., 1956 | ||
| 650 | 4 | |a Métamathématique | |
| 650 | 0 | |a Metamathematics | |
| 689 | 0 | 0 | |a Gödelscher Unvollständigkeitssatz |D s |0 (DE-588)4021417-5 |
| 689 | 0 | 1 | |a Metamathematik |D s |0 (DE-588)4074759-1 |
| 689 | 0 | |5 AT-OBV |5 UBIRST | |
| 830 | 0 | |w (AT-OBV)AC01745099 |v 2 | |
| 970 | 1 | |c 23 | |
| 970 | 4 | |b BVBKAT | |
| ADM | |b 2024-03-17 18:40:03 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 09:49:32 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 2742-C |c MAG1-3 |8 2221566230004498 | |
| 852 | 8 | |b YWOAW |c MAG1-3 |h 2742-C |8 2221566230004498 | |
| ITM | |9 2221566230004498 |e 1 |m BOOK |b +YW21505403 |i 2742-C |2 MAG1-3 |o 19991111 |8 2321566220004498 |f 02 |p 2013-01-16 01:00:00 Europe/Vienna |h 2742-C |1 YWOAW |q 2022-06-09 11:45:53 Europe/Vienna | ||