Elements of mathematical logic: (Model theory)
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North Holland Pub. Co.
1967
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Translation of Eléments de logique mathématique, theorie des modéles Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (xi, 222 p.) |
| ISBN: | 9780444534125 0444534121 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042317383 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1967 |||| o||u| ||||||eng d | ||
| 020 | |a 9780444534125 |9 978-0-444-53412-5 | ||
| 020 | |a 0444534121 |9 0-444-53412-1 | ||
| 035 | |a (OCoLC)300329164 | ||
| 035 | |a (DE-599)BVBBV042317383 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 164 | |
| 100 | 1 | |a Kreisel, Georg |e Verfasser |4 aut | |
| 240 | 1 | 0 | |a Eléments de logique mathématique, theorie des modéles |
| 245 | 1 | 0 | |a Elements of mathematical logic |b (Model theory) |c [By] G. Kreisel and J.L. Krivine |
| 264 | 1 | |a Amsterdam |b North Holland Pub. Co. |c 1967 | |
| 300 | |a 1 Online-Ressource (xi, 222 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics | |
| 500 | |a Translation of Eléments de logique mathématique, theorie des modéles | ||
| 500 | |a Includes bibliographical references | ||
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 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, J. L. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444534125 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027754373 | ||
| 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_ | 1804152913755373568 |
|---|---|
| any_adam_object | |
| author | Kreisel, Georg |
| author_facet | Kreisel, Georg |
| author_role | aut |
| author_sort | Kreisel, Georg |
| author_variant | g k gk |
| building | Verbundindex |
| bvnumber | BV042317383 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)300329164 (DE-599)BVBBV042317383 |
| 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 | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02087nmm a2200541zc 4500</leader><controlfield tag="001">BV042317383</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1967 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444534125</subfield><subfield code="9">978-0-444-53412-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444534121</subfield><subfield code="9">0-444-53412-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)300329164</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317383</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kreisel, Georg</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Eléments de logique mathématique, theorie des modéles</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elements of mathematical logic</subfield><subfield code="b">(Model theory)</subfield><subfield code="c">[By] G. Kreisel and J.L. Krivine</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North Holland Pub. Co.</subfield><subfield code="c">1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 222 p.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Studies in logic and the foundations of mathematics</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Translation of Eléments de logique mathématique, theorie des modéles</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</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">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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, J. L.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444534125</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027754373</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.BV042317383 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:16Z |
| institution | BVB |
| isbn | 9780444534125 0444534121 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754373 |
| oclc_num | 300329164 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (xi, 222 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1967 |
| publishDateSearch | 1967 |
| publishDateSort | 1967 |
| publisher | North Holland Pub. Co. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Kreisel, Georg Verfasser aut Eléments de logique mathématique, theorie des modéles Elements of mathematical logic (Model theory) [By] G. Kreisel and J.L. Krivine Amsterdam North Holland Pub. Co. 1967 1 Online-Ressource (xi, 222 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics Translation of Eléments de logique mathématique, theorie des modéles Includes bibliographical references Logique symbolique et mathématique Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical 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, J. L. Sonstige oth http://www.sciencedirect.com/science/book/9780444534125 Verlag Volltext 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 Elements of mathematical logic (Model theory) Logique symbolique et mathématique Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical 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 | Elements of mathematical logic (Model theory) |
| title_alt | Eléments de logique mathématique, theorie des modéles |
| title_auth | Elements of mathematical logic (Model theory) |
| title_exact_search | Elements of mathematical logic (Model theory) |
| title_full | Elements of mathematical logic (Model theory) [By] G. Kreisel and J.L. Krivine |
| title_fullStr | Elements of mathematical logic (Model theory) [By] G. Kreisel and J.L. Krivine |
| title_full_unstemmed | Elements of mathematical logic (Model theory) [By] G. Kreisel and J.L. Krivine |
| title_short | Elements of mathematical logic |
| title_sort | elements of mathematical logic model theory |
| title_sub | (Model theory) |
| topic | Logique symbolique et mathématique Logic, Symbolic and mathematical fast Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Modelltheorie (DE-588)4114617-7 gnd Grundlage (DE-588)4158388-7 gnd |
| topic_facet | Logique symbolique et mathématique Logic, Symbolic and mathematical Mathematische Logik Modelltheorie Grundlage |
| url | http://www.sciencedirect.com/science/book/9780444534125 |
| work_keys_str_mv | AT kreiselgeorg elementsdelogiquemathematiquetheoriedesmodeles AT krivinejl elementsdelogiquemathematiquetheoriedesmodeles AT kreiselgeorg elementsofmathematicallogicmodeltheory AT krivinejl elementsofmathematicallogicmodeltheory |