The theory of models: proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
North-Holland Pub. Co.
1965
|
| Series: | Studies in logic and the foundations of mathematics
|
| Subjects: | |
| Online Access: | FAW01 Volltext |
| Item Description: | Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science Includes bibliographical references (pages 442-492) |
| Physical Description: | xv, 494 pages |
| ISBN: | 9780720422337 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044380100 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1965 |||| o||u| ||||||eng d | ||
| 020 | |a 9780720422337 |9 978-0-7204-2233-7 | ||
| 035 | |a (ZDB-33-ESD)ocn608579236 | ||
| 035 | |a (OCoLC)608579236 | ||
| 035 | |a (DE-599)BVBBV044380100 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 164 | |
| 110 | 2 | |a International Symposium on the Theory of Models <1963, Berkeley, Calif.> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The theory of models |b proceedings |c Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski |
| 264 | 1 | |a Amsterdam |b North-Holland Pub. Co. |c 1965 | |
| 300 | |a xv, 494 pages | ||
| 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 Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science | ||
| 500 | |a Includes bibliographical references (pages 442-492) | ||
| 650 | 4 | |a Logique symbolique et mathématique / Congrès | |
| 650 | 4 | |a Modèles mathématiques / Congrès | |
| 650 | 7 | |a Modeltheorie |2 gtt | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Mathematical models |2 fast | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses | |
| 650 | 4 | |a Mathematical models |v Congresses | |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Addison, J. W. |e Sonstige |4 oth | |
| 710 | 2 | |a University of California, Berkeley |e Sonstige |4 oth | |
| 710 | 2 | |a Association for Symbolic Logic |e Sonstige |4 oth | |
| 710 | 2 | |a International Union of the History and Philosophy of Science |b Division of Logic, Methodology and Philosophy of Science |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780720422337 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029782322 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780720422337 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804177642247684096 |
|---|---|
| any_adam_object | |
| author_corporate | International Symposium on the Theory of Models <1963, Berkeley, Calif.> |
| author_corporate_role | aut |
| author_facet | International Symposium on the Theory of Models <1963, Berkeley, Calif.> |
| author_sort | International Symposium on the Theory of Models <1963, Berkeley, Calif.> |
| building | Verbundindex |
| bvnumber | BV044380100 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn608579236 (OCoLC)608579236 (DE-599)BVBBV044380100 |
| 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>02566nmm a2200553zc 4500</leader><controlfield tag="001">BV044380100</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1965 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720422337</subfield><subfield code="9">978-0-7204-2233-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn608579236</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)608579236</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044380100</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">International Symposium on the Theory of Models <1963, Berkeley, Calif.></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The theory of models</subfield><subfield code="b">proceedings</subfield><subfield code="c">Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Pub. Co.</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 494 pages</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">Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 442-492)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modèles mathématiques / Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modeltheorie</subfield><subfield code="2">gtt</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="7"><subfield code="a">Mathematical models</subfield><subfield code="2">fast</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><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield><subfield code="v">Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Addison, J. W.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">University of California, Berkeley</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Union of the History and Philosophy of Science</subfield><subfield code="b">Division of Logic, Methodology and Philosophy of Science</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/9780720422337</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029782322</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="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780720422337</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044380100 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:19Z |
| institution | BVB |
| isbn | 9780720422337 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029782322 |
| oclc_num | 608579236 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | xv, 494 pages |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1965 |
| publishDateSearch | 1965 |
| publishDateSort | 1965 |
| publisher | North-Holland Pub. Co. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | International Symposium on the Theory of Models <1963, Berkeley, Calif.> Verfasser aut The theory of models proceedings Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski Amsterdam North-Holland Pub. Co. 1965 xv, 494 pages txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science Includes bibliographical references (pages 442-492) Logique symbolique et mathématique / Congrès Modèles mathématiques / Congrès Modeltheorie gtt Logic, Symbolic and mathematical fast Mathematical models fast Mathematisches Modell Logic, Symbolic and mathematical Congresses Mathematical models Congresses Modelltheorie (DE-588)4114617-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Modelltheorie (DE-588)4114617-7 s 1\p DE-604 Addison, J. W. Sonstige oth University of California, Berkeley Sonstige oth Association for Symbolic Logic Sonstige oth International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Sonstige oth http://www.sciencedirect.com/science/book/9780720422337 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | The theory of models proceedings Logique symbolique et mathématique / Congrès Modèles mathématiques / Congrès Modeltheorie gtt Logic, Symbolic and mathematical fast Mathematical models fast Mathematisches Modell Logic, Symbolic and mathematical Congresses Mathematical models Congresses Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4114617-7 (DE-588)1071861417 |
| title | The theory of models proceedings |
| title_auth | The theory of models proceedings |
| title_exact_search | The theory of models proceedings |
| title_full | The theory of models proceedings Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski |
| title_fullStr | The theory of models proceedings Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski |
| title_full_unstemmed | The theory of models proceedings Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski |
| title_short | The theory of models |
| title_sort | the theory of models proceedings |
| title_sub | proceedings |
| topic | Logique symbolique et mathématique / Congrès Modèles mathématiques / Congrès Modeltheorie gtt Logic, Symbolic and mathematical fast Mathematical models fast Mathematisches Modell Logic, Symbolic and mathematical Congresses Mathematical models Congresses Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | Logique symbolique et mathématique / Congrès Modèles mathématiques / Congrès Modeltheorie Logic, Symbolic and mathematical Mathematical models Mathematisches Modell Logic, Symbolic and mathematical Congresses Mathematical models Congresses Modelltheorie Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780720422337 |
| work_keys_str_mv | AT internationalsymposiumonthetheoryofmodels1963berkeleycalif thetheoryofmodelsproceedings AT addisonjw thetheoryofmodelsproceedings AT universityofcaliforniaberkeley thetheoryofmodelsproceedings AT associationforsymboliclogic thetheoryofmodelsproceedings AT internationalunionofthehistoryandphilosophyofsciencedivisionoflogicmethodologyandphilosophyofscience thetheoryofmodelsproceedings |