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!
|
id |
990002577540504498 |
---|---|
ctrlnum |
AC10681463 (AT-OBV)AC10681463 (Aleph)010329059ACC01 (DE-599)BVBBV007021875 (DE-604)070218757 (EXLNZ-43ACC_NETWORK)990103290590203331 |
collection |
bib_alma |
institution |
YWOAW |
building |
MAG1-3 |
record_format |
marc |
spelling |
Ladrière, Jean 1921-2007 (DE-588)119438348 aut <<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 Louvain [u.a.] Nauwelaerts [u.a.] 1957 XIII, 715 S. Collection de logique mathématique : Sér. B. 2 Literaturverz. S. [501] - 546 Zugl.: Louvain, Univ. Cathol., Diss., 1956 Métamathématique Metamathematics Gödelscher Unvollständigkeitssatz s (DE-588)4021417-5 Metamathematik s (DE-588)4074759-1 AT-OBV UBIRST (AT-OBV)AC01745099 2 YWOAW MAG1-3 2742-C 2221566230004498 |
language |
French |
format |
Thesis Book |
author |
Ladrière, Jean 1921-2007 |
spellingShingle |
Ladrière, Jean 1921-2007 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 Collection de logique mathématique : Sér. B. Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 Metamathematik (DE-588)4074759-1 |
author_facet |
Ladrière, Jean 1921-2007 |
author_variant |
j l jl |
author_role |
VerfasserIn |
author_sort |
Ladrière, Jean 1921-2007 |
title |
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 |
title_sub |
é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 |
title_full |
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 |
title_fullStr |
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 |
title_full_unstemmed |
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 |
title_auth |
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 |
title_new |
Les limitations internes des formalismes |
title_sort |
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 |
series |
Collection de logique mathématique : Sér. B. |
series2 |
Collection de logique mathématique : Sér. B. |
publisher |
Nauwelaerts [u.a.] |
publishDate |
1957 |
physical |
XIII, 715 S. |
callnumber-first |
Q - Science |
callnumber-subject |
QA - Mathematics |
callnumber-label |
QA9 |
callnumber-sort |
QA 19 |
callnumber-raw |
2742-C |
callnumber-search |
2742-C |
topic |
Gödelscher Unvollständigkeitssatz (DE-588)4021417-5 Metamathematik (DE-588)4074759-1 |
topic_facet |
Gödelscher Unvollständigkeitssatz Metamathematik |
illustrated |
Not Illustrated |
dewey-hundreds |
500 - Science |
dewey-tens |
510 - Mathematics |
dewey-ones |
510 - Mathematics |
dewey-full |
510.1 |
dewey-sort |
3510.1 |
dewey-raw |
510.1 |
dewey-search |
510.1 |
work_keys_str_mv |
AT ladrierejean leslimitationsinternesdesformalismesetudesurlasignificationdutheoremedegodeletdestheoremesapparentesdanslatheoriedesfondementsdesmathematiques |
status_str |
n |
ids_txt_mv |
(AT-OBV)AC10681463 AC10681463 (Aleph)010329059ACC01 (DE-599)BVBBV007021875 (DE-604)070218757 (EXLNZ-43ACC_NETWORK)990103290590203331 |
hol852bOwn_txt_mv |
YWOAW |
hol852hSignatur_txt_mv |
2742-C |
hol852cSonderstandort_txt_mv |
MAG1-3 |
itmData_txt_mv |
2013-01-16 01:00:00 Europe/Vienna |
barcode_str_mv |
+YW21505403 |
callnumbers_txt_mv |
2742-C |
inventoryNumbers_str_mv |
2742-C |
materialTypes_str_mv |
BOOK |
permanentLibraries_str_mv |
YWOAW |
permanentLocations_str_mv |
MAG1-3 |
inventoryDates_str_mv |
19991111 |
createdDates_str_mv |
2013-01-16 01:00:00 Europe/Vienna |
holdingIds_str_mv |
2221566230004498 |
hierarchy_parent_id |
AC01745099 |
hierarchy_parent_title |
Collection de logique mathématique : Sér. B. 2 |
hierarchy_sequence |
2 |
is_hierarchy_id |
AC10681463 |
is_hierarchy_title |
<<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 |
container_title |
Collection de logique mathématique : Sér. B. 2 |
container_reference |
AC01745099 |
basiskl_str_mv |
08.33 - Logik |
basiskl_txtF_mv |
08.33 - Logik |
_version_ |
1796648871294664705 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01557nam#a2200457#cb4500</leader><controlfield tag="001">990002577540504498</controlfield><controlfield tag="005">20230526205154.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">130116|1957####|||######m####|||#|#fre#c</controlfield><controlfield tag="009">AC10681463</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">888251</subfield><subfield code="2">OCoLC</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC10681463</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC10681463</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)010329059ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV007021875</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-604)070218757</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990103290590203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">OAW</subfield><subfield code="b">ger</subfield><subfield code="c">BAY</subfield><subfield code="d">UBW</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-FR</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">510.1</subfield><subfield code="q">DE-101</subfield><subfield code="2">n/a</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">08.33</subfield><subfield code="2">bkl</subfield><subfield code="9">O: Automatisch generiert aus Konkordanz RVK-BK-Philosophie</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="089" ind1="0" ind2="4"><subfield code="a">510.1</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ladrière, Jean</subfield><subfield code="d">1921-2007</subfield><subfield code="0">(DE-588)119438348</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Les limitations internes des formalismes</subfield><subfield code="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</subfield><subfield code="c">par Jean Ladriére</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Louvain [u.a.]</subfield><subfield code="b">Nauwelaerts [u.a.]</subfield><subfield code="c">1957</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 715 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Collection de logique mathématique : Sér. B.</subfield><subfield code="v">2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [501] - 546</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Louvain, Univ. Cathol., Diss., 1956</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Métamathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Metamathematics</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Gödelscher Unvollständigkeitssatz</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4021417-5</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metamathematik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4074759-1</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">UBIRST</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC01745099</subfield><subfield code="v">2</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="970" ind1="4" ind2=" "><subfield code="b">BVBKAT</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-03-17 18:40:03 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 09:49:32 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">2742-C</subfield><subfield code="c">MAG1-3</subfield><subfield code="8">2221566230004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1-3</subfield><subfield code="h">2742-C</subfield><subfield code="8">2221566230004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2221566230004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW21505403</subfield><subfield code="i">2742-C</subfield><subfield code="2">MAG1-3</subfield><subfield code="o">19991111</subfield><subfield code="8">2321566220004498</subfield><subfield code="f">02</subfield><subfield code="p">2013-01-16 01:00:00 Europe/Vienna</subfield><subfield code="h">2742-C</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-06-09 11:45:53 Europe/Vienna</subfield></datafield></record></collection> |