Model theory for infinitary logic: logic with countable conjunctions and finite quantifiers
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland Pub. Co.
1971
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 62 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (x, 208 p.) |
| ISBN: | 9780720422580 0720422582 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317925 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1971 |||| o||u| ||||||eng d | ||
| 020 | |a 9780720422580 |9 978-0-7204-2258-0 | ||
| 020 | |a 0720422582 |9 0-7204-2258-2 | ||
| 035 | |a (OCoLC)428097337 | ||
| 035 | |a (DE-599)BVBBV042317925 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-706 | ||
| 082 | 0 | |a 511/.3 |2 22 | |
| 100 | 1 | |a Keisler, H. Jerome |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Model theory for infinitary logic |b logic with countable conjunctions and finite quantifiers |c H. Jerome Keisler |
| 264 | 1 | |a Amsterdam |b North-Holland Pub. Co. |c 1971 | |
| 300 | |a 1 Online-Ressource (x, 208 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 |v v. 62 | |
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a Infinitary languages |2 fast | |
| 650 | 7 | |a Model theory |2 fast | |
| 650 | 4 | |a Langages infinitaires | |
| 650 | 4 | |a Modèles, Théorie des | |
| 650 | 4 | |a Infinitary languages | |
| 650 | 4 | |a Model theory | |
| 650 | 0 | 7 | |a Infinitäre Logik |0 (DE-588)4161654-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltheorie |0 (DE-588)4114617-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modelltheorie |0 (DE-588)4114617-7 |D s |
| 689 | 0 | 1 | |a Infinitäre Logik |0 (DE-588)4161654-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780720422580 |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-027754916 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804152914904612864 |
|---|---|
| any_adam_object | |
| author | Keisler, H. Jerome |
| author_facet | Keisler, H. Jerome |
| author_role | aut |
| author_sort | Keisler, H. Jerome |
| author_variant | h j k hj hjk |
| building | Verbundindex |
| bvnumber | BV042317925 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428097337 (DE-599)BVBBV042317925 |
| 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 13 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01766nmm a2200493zcb4500</leader><controlfield tag="001">BV042317925</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1971 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720422580</subfield><subfield code="9">978-0-7204-2258-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422582</subfield><subfield code="9">0-7204-2258-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428097337</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317925</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">511/.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Keisler, H. Jerome</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model theory for infinitary logic</subfield><subfield code="b">logic with countable conjunctions and finite quantifiers</subfield><subfield code="c">H. Jerome Keisler</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Pub. Co.</subfield><subfield code="c">1971</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 208 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><subfield code="v">v. 62</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Infinitary languages</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Model theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langages infinitaires</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modèles, Théorie des</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Infinitary languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Infinitäre Logik</subfield><subfield code="0">(DE-588)4161654-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="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="1"><subfield code="a">Infinitäre Logik</subfield><subfield code="0">(DE-588)4161654-6</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="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780720422580</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-027754916</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></record></collection> |
| id | DE-604.BV042317925 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780720422580 0720422582 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754916 |
| oclc_num | 428097337 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (x, 208 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1971 |
| publishDateSearch | 1971 |
| publishDateSort | 1971 |
| publisher | North-Holland Pub. Co. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Keisler, H. Jerome Verfasser aut Model theory for infinitary logic logic with countable conjunctions and finite quantifiers H. Jerome Keisler Amsterdam North-Holland Pub. Co. 1971 1 Online-Ressource (x, 208 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 62 Includes bibliographical references Infinitary languages fast Model theory fast Langages infinitaires Modèles, Théorie des Infinitary languages Model theory Infinitäre Logik (DE-588)4161654-6 gnd rswk-swf Modelltheorie (DE-588)4114617-7 gnd rswk-swf Modelltheorie (DE-588)4114617-7 s Infinitäre Logik (DE-588)4161654-6 s 1\p DE-604 http://www.sciencedirect.com/science/book/9780720422580 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Keisler, H. Jerome Model theory for infinitary logic logic with countable conjunctions and finite quantifiers Infinitary languages fast Model theory fast Langages infinitaires Modèles, Théorie des Infinitary languages Model theory Infinitäre Logik (DE-588)4161654-6 gnd Modelltheorie (DE-588)4114617-7 gnd |
| subject_GND | (DE-588)4161654-6 (DE-588)4114617-7 |
| title | Model theory for infinitary logic logic with countable conjunctions and finite quantifiers |
| title_auth | Model theory for infinitary logic logic with countable conjunctions and finite quantifiers |
| title_exact_search | Model theory for infinitary logic logic with countable conjunctions and finite quantifiers |
| title_full | Model theory for infinitary logic logic with countable conjunctions and finite quantifiers H. Jerome Keisler |
| title_fullStr | Model theory for infinitary logic logic with countable conjunctions and finite quantifiers H. Jerome Keisler |
| title_full_unstemmed | Model theory for infinitary logic logic with countable conjunctions and finite quantifiers H. Jerome Keisler |
| title_short | Model theory for infinitary logic |
| title_sort | model theory for infinitary logic logic with countable conjunctions and finite quantifiers |
| title_sub | logic with countable conjunctions and finite quantifiers |
| topic | Infinitary languages fast Model theory fast Langages infinitaires Modèles, Théorie des Infinitary languages Model theory Infinitäre Logik (DE-588)4161654-6 gnd Modelltheorie (DE-588)4114617-7 gnd |
| topic_facet | Infinitary languages Model theory Langages infinitaires Modèles, Théorie des Infinitäre Logik Modelltheorie |
| url | http://www.sciencedirect.com/science/book/9780720422580 |
| work_keys_str_mv | AT keislerhjerome modeltheoryforinfinitarylogiclogicwithcountableconjunctionsandfinitequantifiers |