[Omega]-Bibliography of Mathematical Logic: Model Theory
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1987
|
| Schriftenreihe: | [Omega] Perspectives in Mathematical Logic
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistication, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, particularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists somewhere in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra |
| Beschreibung: | 1 Online-Ressource (XLV, 617 p) |
| ISBN: | 9783662090589 9783662090602 |
| ISSN: | 0172-6641 |
| DOI: | 10.1007/978-3-662-09058-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042423417 | ||
| 003 | DE-604 | ||
| 005 | 20220707 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1987 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662090589 |c Online |9 978-3-662-09058-9 | ||
| 020 | |a 9783662090602 |c Print |9 978-3-662-09060-2 | ||
| 024 | 7 | |a 10.1007/978-3-662-09058-9 |2 doi | |
| 035 | |a (OCoLC)1002235087 | ||
| 035 | |a (DE-599)BVBBV042423417 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a [Omega]-Bibliography of Mathematical Logic |b Model Theory |c edited by Gert H. Müller, Heinz-Dieter Ebbinghaus |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1987 | |
| 300 | |a 1 Online-Ressource (XLV, 617 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a [Omega] Perspectives in Mathematical Logic |x 0172-6641 | |
| 500 | |a Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistication, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, particularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists somewhere in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematik | |
| 700 | 1 | |a Müller, Gert H. |d 1923-2006 |0 (DE-588)1055806601 |4 edt | |
| 700 | 1 | |a Ebbinghaus, Heinz-Dieter |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-09058-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027858834 | ||
Datensatz im Suchindex
| _version_ | 1804153099129978880 |
|---|---|
| any_adam_object | |
| author2 | Müller, Gert H. 1923-2006 |
| author2_role | edt |
| author2_variant | g h m gh ghm |
| author_GND | (DE-588)1055806601 |
| author_facet | Müller, Gert H. 1923-2006 |
| building | Verbundindex |
| bvnumber | BV042423417 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1002235087 (DE-599)BVBBV042423417 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-662-09058-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02721nmm a2200421zc 4500</leader><controlfield tag="001">BV042423417</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220707 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1987 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662090589</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-09058-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662090602</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-09060-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-09058-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1002235087</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423417</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-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">[Omega]-Bibliography of Mathematical Logic</subfield><subfield code="b">Model Theory</subfield><subfield code="c">edited by Gert H. Müller, Heinz-Dieter Ebbinghaus</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XLV, 617 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">[Omega] Perspectives in Mathematical Logic</subfield><subfield code="x">0172-6641</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistication, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, particularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists somewhere in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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 Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Müller, Gert H.</subfield><subfield code="d">1923-2006</subfield><subfield code="0">(DE-588)1055806601</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ebbinghaus, Heinz-Dieter</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-09058-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027858834</subfield></datafield></record></collection> |
| id | DE-604.BV042423417 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:13Z |
| institution | BVB |
| isbn | 9783662090589 9783662090602 |
| issn | 0172-6641 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027858834 |
| oclc_num | 1002235087 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XLV, 617 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | [Omega] Perspectives in Mathematical Logic |
| spelling | [Omega]-Bibliography of Mathematical Logic Model Theory edited by Gert H. Müller, Heinz-Dieter Ebbinghaus Berlin, Heidelberg Springer Berlin Heidelberg 1987 1 Online-Ressource (XLV, 617 p) txt rdacontent c rdamedia cr rdacarrier [Omega] Perspectives in Mathematical Logic 0172-6641 Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistication, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, particularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists somewhere in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. ProofTheory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik Müller, Gert H. 1923-2006 (DE-588)1055806601 edt Ebbinghaus, Heinz-Dieter Sonstige oth https://doi.org/10.1007/978-3-662-09058-9 Verlag Volltext |
| spellingShingle | [Omega]-Bibliography of Mathematical Logic Model Theory Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik |
| title | [Omega]-Bibliography of Mathematical Logic Model Theory |
| title_auth | [Omega]-Bibliography of Mathematical Logic Model Theory |
| title_exact_search | [Omega]-Bibliography of Mathematical Logic Model Theory |
| title_full | [Omega]-Bibliography of Mathematical Logic Model Theory edited by Gert H. Müller, Heinz-Dieter Ebbinghaus |
| title_fullStr | [Omega]-Bibliography of Mathematical Logic Model Theory edited by Gert H. Müller, Heinz-Dieter Ebbinghaus |
| title_full_unstemmed | [Omega]-Bibliography of Mathematical Logic Model Theory edited by Gert H. Müller, Heinz-Dieter Ebbinghaus |
| title_short | [Omega]-Bibliography of Mathematical Logic |
| title_sort | omega bibliography of mathematical logic model theory |
| title_sub | Model Theory |
| topic | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik |
| topic_facet | Mathematics Logic, Symbolic and mathematical Mathematical Logic and Foundations Mathematik |
| url | https://doi.org/10.1007/978-3-662-09058-9 |
| work_keys_str_mv | AT mullergerth omegabibliographyofmathematicallogicmodeltheory AT ebbinghausheinzdieter omegabibliographyofmathematicallogicmodeltheory |