Éléments de logique mathématique: théorie des mod eles
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | French |
| Veröffentlicht: |
Paris
Dunod
1967
|
| Schriftenreihe: | Société Mathématique de France: Monographies de la ...
3 |
| Schlagworte: | |
| Beschreibung: | VIII, 212 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008941740 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1967 |||| 00||| fre d | ||
| 035 | |a (OCoLC)2716968 | ||
| 035 | |a (DE-599)BVBBV008941740 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a fre | |
| 049 | |a DE-29 |a DE-29T | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 164 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Kreisel, Georg |d 1923-2015 |e Verfasser |0 (DE-588)119528592 |4 aut | |
| 245 | 1 | 0 | |a Éléments de logique mathématique |b théorie des mod eles |c G. Kreisel ; J. L. Krivine |
| 264 | 1 | |a Paris |b Dunod |c 1967 | |
| 300 | |a VIII, 212 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Société Mathématique de France: Monographies de la ... |v 3 | |
| 650 | 7 | |a Axiomatique |2 ram | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique mathématique |2 ram | |
| 650 | 7 | |a Mathematische Logik |2 swd | |
| 650 | 7 | |a Modèles mathématiques |2 ram | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical models | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Grundlage |0 (DE-588)4158388-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Grundlage |0 (DE-588)4158388-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Krivine, Jean-Louis |e Verfasser |4 aut | |
| 830 | 0 | |a Société Mathématique de France: Monographies de la ... |v 3 |w (DE-604)BV008926733 |9 3 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005898189 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804123272557625344 |
|---|---|
| any_adam_object | |
| author | Kreisel, Georg 1923-2015 Krivine, Jean-Louis |
| author_GND | (DE-588)119528592 |
| author_facet | Kreisel, Georg 1923-2015 Krivine, Jean-Louis |
| author_role | aut aut |
| author_sort | Kreisel, Georg 1923-2015 |
| author_variant | g k gk j l k jlk |
| building | Verbundindex |
| bvnumber | BV008941740 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)2716968 (DE-599)BVBBV008941740 |
| dewey-full | 164 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164 |
| dewey-search | 164 |
| dewey-sort | 3164 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01952nam a2200529 cb4500</leader><controlfield tag="001">BV008941740</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1967 |||| 00||| fre d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2716968</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008941740</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kreisel, Georg</subfield><subfield code="d">1923-2015</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119528592</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Éléments de logique mathématique</subfield><subfield code="b">théorie des mod eles</subfield><subfield code="c">G. Kreisel ; J. L. Krivine</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paris</subfield><subfield code="b">Dunod</subfield><subfield code="c">1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 212 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Société Mathématique de France: Monographies de la ...</subfield><subfield code="v">3</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Axiomatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modèles mathématiques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modelltheorie</subfield><subfield code="0">(DE-588)4114617-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krivine, Jean-Louis</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Société Mathématique de France: Monographies de la ...</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV008926733</subfield><subfield code="9">3</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005898189</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV008941740 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:08Z |
| institution | BVB |
| language | French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005898189 |
| oclc_num | 2716968 |
| open_access_boolean | |
| owner | DE-29 DE-29T |
| owner_facet | DE-29 DE-29T |
| physical | VIII, 212 S. |
| publishDate | 1967 |
| publishDateSearch | 1967 |
| publishDateSort | 1967 |
| publisher | Dunod |
| record_format | marc |
| series | Société Mathématique de France: Monographies de la ... |
| series2 | Société Mathématique de France: Monographies de la ... |
| spelling | Kreisel, Georg 1923-2015 Verfasser (DE-588)119528592 aut Éléments de logique mathématique théorie des mod eles G. Kreisel ; J. L. Krivine Paris Dunod 1967 VIII, 212 S. txt rdacontent n rdamedia nc rdacarrier Société Mathématique de France: Monographies de la ... 3 Axiomatique ram Logique symbolique et mathématique Logique symbolique mathématique ram Mathematische Logik swd Modèles mathématiques ram Mathematisches Modell Logic, Symbolic and mathematical Mathematical models Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Grundlage (DE-588)4158388-7 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Grundlage (DE-588)4158388-7 s 1\p DE-604 Modelltheorie (DE-588)4114617-7 s 2\p DE-604 Krivine, Jean-Louis Verfasser aut Société Mathématique de France: Monographies de la ... 3 (DE-604)BV008926733 3 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Kreisel, Georg 1923-2015 Krivine, Jean-Louis Éléments de logique mathématique théorie des mod eles Société Mathématique de France: Monographies de la ... Axiomatique ram Logique symbolique et mathématique Logique symbolique mathématique ram Mathematische Logik swd Modèles mathématiques ram Mathematisches Modell Logic, Symbolic and mathematical Mathematical models Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Grundlage (DE-588)4158388-7 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4114617-7 (DE-588)4158388-7 |
| title | Éléments de logique mathématique théorie des mod eles |
| title_auth | Éléments de logique mathématique théorie des mod eles |
| title_exact_search | Éléments de logique mathématique théorie des mod eles |
| title_full | Éléments de logique mathématique théorie des mod eles G. Kreisel ; J. L. Krivine |
| title_fullStr | Éléments de logique mathématique théorie des mod eles G. Kreisel ; J. L. Krivine |
| title_full_unstemmed | Éléments de logique mathématique théorie des mod eles G. Kreisel ; J. L. Krivine |
| title_short | Éléments de logique mathématique |
| title_sort | elements de logique mathematique theorie des mod eles |
| title_sub | théorie des mod eles |
| topic | Axiomatique ram Logique symbolique et mathématique Logique symbolique mathématique ram Mathematische Logik swd Modèles mathématiques ram Mathematisches Modell Logic, Symbolic and mathematical Mathematical models Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Grundlage (DE-588)4158388-7 gnd |
| topic_facet | Axiomatique Logique symbolique et mathématique Logique symbolique mathématique Mathematische Logik Modèles mathématiques Mathematisches Modell Logic, Symbolic and mathematical Mathematical models Modelltheorie Grundlage |
| volume_link | (DE-604)BV008926733 |
| work_keys_str_mv | AT kreiselgeorg elementsdelogiquemathematiquetheoriedesmodeles AT krivinejeanlouis elementsdelogiquemathematiquetheoriedesmodeles |