Decidability and Boolean representations:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Providence, RI
American Math. Soc.
1981
|
| Schriftenreihe: | American Mathematical Society: Memoirs of the American Mathematical Society
246 |
| Schlagworte: | |
| Beschreibung: | Volume 32, Number 246 (end of volume) |
| Beschreibung: | VII, 106 S. |
| ISBN: | 0821822462 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006105257 | ||
| 003 | DE-604 | ||
| 005 | 20160126 | ||
| 007 | t | ||
| 008 | 921030s1981 |||| 00||| eng d | ||
| 020 | |a 0821822462 |9 0-8218-2246-2 | ||
| 035 | |a (OCoLC)7555379 | ||
| 035 | |a (DE-599)BVBBV006105257 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-739 |a DE-355 |a DE-29T |a DE-824 |a DE-19 |a DE-12 |a DE-91G |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 510 |2 19 | |
| 082 | 0 | |a 512 |2 19 | |
| 084 | |a 03B25 |2 msc | ||
| 100 | 1 | |a Burris, Stanley |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Decidability and Boolean representations |c Stanley Burris and Ralph McKenzie |
| 264 | 1 | |a Providence, RI |b American Math. Soc. |c 1981 | |
| 300 | |a VII, 106 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a American Mathematical Society: Memoirs of the American Mathematical Society |v 246 | |
| 500 | |a Volume 32, Number 246 (end of volume) | ||
| 650 | 7 | |a Algebra |2 larpcal | |
| 650 | 7 | |a Décidabilité (logique mathématique) |2 ram | |
| 650 | 7 | |a Représentations d'algèbres |2 ram | |
| 650 | 4 | |a Algebra, Universal | |
| 650 | 4 | |a Algebraic varieties | |
| 650 | 4 | |a Decidability (Mathematical logic) | |
| 650 | 4 | |a Modular lattices | |
| 650 | 4 | |a Representations of algebras | |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Mannigfaltigkeit |0 (DE-588)4128509-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Unentscheidbarkeit |0 (DE-588)4294363-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Boolescher Verband |0 (DE-588)4146289-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Universelle Algebra |0 (DE-588)4061777-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Struktur |0 (DE-588)4001166-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Projektive Varietät |0 (DE-588)4327070-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modularer Verband |0 (DE-588)4242572-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Algebraische Mannigfaltigkeit |0 (DE-588)4128509-8 |D s |
| 689 | 0 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 0 | 2 | |a Boolescher Verband |0 (DE-588)4146289-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modularer Verband |0 (DE-588)4242572-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Algebraische Struktur |0 (DE-588)4001166-5 |D s |
| 689 | 2 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Projektive Varietät |0 (DE-588)4327070-0 |D s |
| 689 | 3 | |8 1\p |5 DE-604 | |
| 689 | 4 | 0 | |a Universelle Algebra |0 (DE-588)4061777-4 |D s |
| 689 | 4 | |8 2\p |5 DE-604 | |
| 689 | 5 | 0 | |a Unentscheidbarkeit |0 (DE-588)4294363-2 |D s |
| 689 | 5 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a MacKenzie, Ralph |e Verfasser |4 aut | |
| 830 | 0 | |a American Mathematical Society: Memoirs of the American Mathematical Society |v 246 |w (DE-604)BV008000141 |9 246 | |
| 940 | 1 | |q TUB-www | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003856580 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 980 | 4 | |a (DE-12)AK3520158 | |
| 980 | 4 | |a (DE-12)AK13820632 | |
Datensatz im Suchindex
| _version_ | 1804120329769975808 |
|---|---|
| any_adam_object | |
| author | Burris, Stanley MacKenzie, Ralph |
| author_facet | Burris, Stanley MacKenzie, Ralph |
| author_role | aut aut |
| author_sort | Burris, Stanley |
| author_variant | s b sb r m rm |
| building | Verbundindex |
| bvnumber | BV006105257 |
| callnumber-first | Q - Science |
| callnumber-label | QA3 |
| callnumber-raw | QA3 |
| callnumber-search | QA3 |
| callnumber-sort | QA 13 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)7555379 (DE-599)BVBBV006105257 |
| dewey-full | 510 512 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics 512 - Algebra |
| dewey-raw | 510 512 |
| dewey-search | 510 512 |
| dewey-sort | 3510 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03147nam a2200793 cb4500</leader><controlfield tag="001">BV006105257</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160126 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">921030s1981 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0821822462</subfield><subfield code="9">0-8218-2246-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)7555379</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006105257</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Burris, Stanley</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Decidability and Boolean representations</subfield><subfield code="c">Stanley Burris and Ralph McKenzie</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Providence, RI</subfield><subfield code="b">American Math. Soc.</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 106 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">American Mathematical Society: Memoirs of the American Mathematical Society</subfield><subfield code="v">246</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Volume 32, Number 246 (end of volume)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Décidabilité (logique mathématique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Représentations d'algèbres</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Universal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic varieties</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Decidability (Mathematical logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modular lattices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Representations of algebras</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Mannigfaltigkeit</subfield><subfield code="0">(DE-588)4128509-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unentscheidbarkeit</subfield><subfield code="0">(DE-588)4294363-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolescher Verband</subfield><subfield code="0">(DE-588)4146289-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Universelle Algebra</subfield><subfield code="0">(DE-588)4061777-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Projektive Varietät</subfield><subfield code="0">(DE-588)4327070-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modularer Verband</subfield><subfield code="0">(DE-588)4242572-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraische Mannigfaltigkeit</subfield><subfield code="0">(DE-588)4128509-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Boolescher Verband</subfield><subfield code="0">(DE-588)4146289-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Modularer Verband</subfield><subfield code="0">(DE-588)4242572-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Entscheidbarkeit</subfield><subfield code="0">(DE-588)4152398-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Projektive Varietät</subfield><subfield code="0">(DE-588)4327070-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Universelle Algebra</subfield><subfield code="0">(DE-588)4061777-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="5" ind2="0"><subfield code="a">Unentscheidbarkeit</subfield><subfield code="0">(DE-588)4294363-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="5" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">MacKenzie, Ralph</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">American Mathematical Society: Memoirs of the American Mathematical Society</subfield><subfield code="v">246</subfield><subfield code="w">(DE-604)BV008000141</subfield><subfield code="9">246</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003856580</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK3520158</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK13820632</subfield></datafield></record></collection> |
| id | DE-604.BV006105257 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:40:22Z |
| institution | BVB |
| isbn | 0821822462 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003856580 |
| oclc_num | 7555379 |
| open_access_boolean | |
| owner | DE-703 DE-739 DE-355 DE-BY-UBR DE-29T DE-824 DE-19 DE-BY-UBM DE-12 DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-703 DE-739 DE-355 DE-BY-UBR DE-29T DE-824 DE-19 DE-BY-UBM DE-12 DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | VII, 106 S. |
| psigel | TUB-www |
| publishDate | 1981 |
| publishDateSearch | 1981 |
| publishDateSort | 1981 |
| publisher | American Math. Soc. |
| record_format | marc |
| series | American Mathematical Society: Memoirs of the American Mathematical Society |
| series2 | American Mathematical Society: Memoirs of the American Mathematical Society |
| spelling | Burris, Stanley Verfasser aut Decidability and Boolean representations Stanley Burris and Ralph McKenzie Providence, RI American Math. Soc. 1981 VII, 106 S. txt rdacontent n rdamedia nc rdacarrier American Mathematical Society: Memoirs of the American Mathematical Society 246 Volume 32, Number 246 (end of volume) Algebra larpcal Décidabilité (logique mathématique) ram Représentations d'algèbres ram Algebra, Universal Algebraic varieties Decidability (Mathematical logic) Modular lattices Representations of algebras Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Algebraische Mannigfaltigkeit (DE-588)4128509-8 gnd rswk-swf Unentscheidbarkeit (DE-588)4294363-2 gnd rswk-swf Boolescher Verband (DE-588)4146289-0 gnd rswk-swf Universelle Algebra (DE-588)4061777-4 gnd rswk-swf Algebraische Struktur (DE-588)4001166-5 gnd rswk-swf Projektive Varietät (DE-588)4327070-0 gnd rswk-swf Modularer Verband (DE-588)4242572-4 gnd rswk-swf Algebraische Mannigfaltigkeit (DE-588)4128509-8 s Entscheidbarkeit (DE-588)4152398-2 s Boolescher Verband (DE-588)4146289-0 s DE-604 Modularer Verband (DE-588)4242572-4 s Algebraische Struktur (DE-588)4001166-5 s Projektive Varietät (DE-588)4327070-0 s 1\p DE-604 Universelle Algebra (DE-588)4061777-4 s 2\p DE-604 Unentscheidbarkeit (DE-588)4294363-2 s 3\p DE-604 MacKenzie, Ralph Verfasser aut American Mathematical Society: Memoirs of the American Mathematical Society 246 (DE-604)BV008000141 246 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Burris, Stanley MacKenzie, Ralph Decidability and Boolean representations American Mathematical Society: Memoirs of the American Mathematical Society Algebra larpcal Décidabilité (logique mathématique) ram Représentations d'algèbres ram Algebra, Universal Algebraic varieties Decidability (Mathematical logic) Modular lattices Representations of algebras Entscheidbarkeit (DE-588)4152398-2 gnd Algebraische Mannigfaltigkeit (DE-588)4128509-8 gnd Unentscheidbarkeit (DE-588)4294363-2 gnd Boolescher Verband (DE-588)4146289-0 gnd Universelle Algebra (DE-588)4061777-4 gnd Algebraische Struktur (DE-588)4001166-5 gnd Projektive Varietät (DE-588)4327070-0 gnd Modularer Verband (DE-588)4242572-4 gnd |
| subject_GND | (DE-588)4152398-2 (DE-588)4128509-8 (DE-588)4294363-2 (DE-588)4146289-0 (DE-588)4061777-4 (DE-588)4001166-5 (DE-588)4327070-0 (DE-588)4242572-4 |
| title | Decidability and Boolean representations |
| title_auth | Decidability and Boolean representations |
| title_exact_search | Decidability and Boolean representations |
| title_full | Decidability and Boolean representations Stanley Burris and Ralph McKenzie |
| title_fullStr | Decidability and Boolean representations Stanley Burris and Ralph McKenzie |
| title_full_unstemmed | Decidability and Boolean representations Stanley Burris and Ralph McKenzie |
| title_short | Decidability and Boolean representations |
| title_sort | decidability and boolean representations |
| topic | Algebra larpcal Décidabilité (logique mathématique) ram Représentations d'algèbres ram Algebra, Universal Algebraic varieties Decidability (Mathematical logic) Modular lattices Representations of algebras Entscheidbarkeit (DE-588)4152398-2 gnd Algebraische Mannigfaltigkeit (DE-588)4128509-8 gnd Unentscheidbarkeit (DE-588)4294363-2 gnd Boolescher Verband (DE-588)4146289-0 gnd Universelle Algebra (DE-588)4061777-4 gnd Algebraische Struktur (DE-588)4001166-5 gnd Projektive Varietät (DE-588)4327070-0 gnd Modularer Verband (DE-588)4242572-4 gnd |
| topic_facet | Algebra Décidabilité (logique mathématique) Représentations d'algèbres Algebra, Universal Algebraic varieties Decidability (Mathematical logic) Modular lattices Representations of algebras Entscheidbarkeit Algebraische Mannigfaltigkeit Unentscheidbarkeit Boolescher Verband Universelle Algebra Algebraische Struktur Projektive Varietät Modularer Verband |
| volume_link | (DE-604)BV008000141 |
| work_keys_str_mv | AT burrisstanley decidabilityandbooleanrepresentations AT mackenzieralph decidabilityandbooleanrepresentations |