Decidability and Boolean representations:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Providence, RI
American Math. Soc.
1981
|
| Ausgabe: | 1. print. |
| Schriftenreihe: | Memoirs of the American Mathematical Society
246 |
| Schlagworte: | |
| Beschreibung: | 106 S. |
| ISBN: | 0821822462 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV022145444 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 960910s1981 |||| 00||| eng d | ||
| 020 | |a 0821822462 |9 0-8218-2246-2 | ||
| 035 | |a (OCoLC)7555379 | ||
| 035 | |a (DE-599)BVBBV022145444 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA3 | |
| 082 | 0 | |a 512 |2 19 | |
| 082 | 0 | |a 510 |2 19 | |
| 100 | 1 | |a Burris, Stanley |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Decidability and Boolean representations |c Stanley Burris and Ralph McKenzie |
| 250 | |a 1. print. | ||
| 264 | 1 | |a Providence, RI |b American Math. Soc. |c 1981 | |
| 300 | |a 106 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Memoirs of the American Mathematical Society |v 246 | |
| 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 Projektive Varietät |0 (DE-588)4327070-0 |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 Algebraische Struktur |0 (DE-588)4001166-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Unentscheidbarkeit |0 (DE-588)4294363-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modularer Verband |0 (DE-588)4242572-4 |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 Mannigfaltigkeit |0 (DE-588)4128509-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Universelle Algebra |0 (DE-588)4061777-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Unentscheidbarkeit |0 (DE-588)4294363-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Projektive Varietät |0 (DE-588)4327070-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Algebraische Mannigfaltigkeit |0 (DE-588)4128509-8 |D s |
| 689 | 3 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 3 | 2 | |a Boolescher Verband |0 (DE-588)4146289-0 |D s |
| 689 | 3 | |8 1\p |5 DE-604 | |
| 689 | 4 | 0 | |a Algebraische Struktur |0 (DE-588)4001166-5 |D s |
| 689 | 4 | 1 | |a Entscheidbarkeit |0 (DE-588)4152398-2 |D s |
| 689 | 4 | |8 2\p |5 DE-604 | |
| 689 | 5 | 0 | |a Modularer Verband |0 (DE-588)4242572-4 |D s |
| 689 | 5 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a MacKenzie, Ralph N. |e Verfasser |4 aut | |
| 830 | 0 | |a Memoirs of the American Mathematical Society |v 246 |w (DE-604)BV008000141 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015360076 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804136118945316864 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Burris, Stanley MacKenzie, Ralph N. |
| author_facet | Burris, Stanley MacKenzie, Ralph N. |
| author_role | aut aut |
| author_sort | Burris, Stanley |
| author_variant | s b sb r n m rn rnm |
| building | Verbundindex |
| bvnumber | BV022145444 |
| 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)BVBBV022145444 |
| dewey-full | 512 510 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 512 - Algebra 510 - Mathematics |
| dewey-raw | 512 510 |
| dewey-search | 512 510 |
| dewey-sort | 3512 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02857nam a2200745zcb4500</leader><controlfield tag="001">BV022145444</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960910s1981 |||| 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)BVBBV022145444</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">512</subfield><subfield code="2">19</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">19</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="250" ind1=" " ind2=" "><subfield code="a">1. print.</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">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">Memoirs of the American Mathematical Society</subfield><subfield code="v">246</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">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">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">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">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">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">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="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 Mannigfaltigkeit</subfield><subfield code="0">(DE-588)4128509-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" 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="3" 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="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">Algebraische Struktur</subfield><subfield code="0">(DE-588)4001166-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" 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="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">Modularer Verband</subfield><subfield code="0">(DE-588)4242572-4</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 N.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Memoirs of the American Mathematical Society</subfield><subfield code="v">246</subfield><subfield code="w">(DE-604)BV008000141</subfield><subfield code="9"></subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015360076</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></record></collection> |
| id | DE-604.BV022145444 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:17:51Z |
| indexdate | 2024-07-09T20:51:19Z |
| institution | BVB |
| isbn | 0821822462 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015360076 |
| oclc_num | 7555379 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 106 S. |
| publishDate | 1981 |
| publishDateSearch | 1981 |
| publishDateSort | 1981 |
| publisher | American Math. Soc. |
| record_format | marc |
| series | Memoirs of the American Mathematical Society |
| series2 | Memoirs of the American Mathematical Society |
| spelling | Burris, Stanley Verfasser aut Decidability and Boolean representations Stanley Burris and Ralph McKenzie 1. print. Providence, RI American Math. Soc. 1981 106 S. txt rdacontent n rdamedia nc rdacarrier Memoirs of the American Mathematical Society 246 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 Projektive Varietät (DE-588)4327070-0 gnd rswk-swf Boolescher Verband (DE-588)4146289-0 gnd rswk-swf Algebraische Struktur (DE-588)4001166-5 gnd rswk-swf Entscheidbarkeit (DE-588)4152398-2 gnd rswk-swf Unentscheidbarkeit (DE-588)4294363-2 gnd rswk-swf Modularer Verband (DE-588)4242572-4 gnd rswk-swf Universelle Algebra (DE-588)4061777-4 gnd rswk-swf Algebraische Mannigfaltigkeit (DE-588)4128509-8 gnd rswk-swf Universelle Algebra (DE-588)4061777-4 s DE-604 Unentscheidbarkeit (DE-588)4294363-2 s Projektive Varietät (DE-588)4327070-0 s Algebraische Mannigfaltigkeit (DE-588)4128509-8 s Entscheidbarkeit (DE-588)4152398-2 s Boolescher Verband (DE-588)4146289-0 s 1\p DE-604 Algebraische Struktur (DE-588)4001166-5 s 2\p DE-604 Modularer Verband (DE-588)4242572-4 s 3\p DE-604 MacKenzie, Ralph N. Verfasser aut Memoirs of the American Mathematical Society 246 (DE-604)BV008000141 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 N. Decidability and Boolean representations 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 Projektive Varietät (DE-588)4327070-0 gnd Boolescher Verband (DE-588)4146289-0 gnd Algebraische Struktur (DE-588)4001166-5 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Unentscheidbarkeit (DE-588)4294363-2 gnd Modularer Verband (DE-588)4242572-4 gnd Universelle Algebra (DE-588)4061777-4 gnd Algebraische Mannigfaltigkeit (DE-588)4128509-8 gnd |
| subject_GND | (DE-588)4327070-0 (DE-588)4146289-0 (DE-588)4001166-5 (DE-588)4152398-2 (DE-588)4294363-2 (DE-588)4242572-4 (DE-588)4061777-4 (DE-588)4128509-8 |
| title | Decidability and Boolean representations |
| title_auth | Decidability and Boolean representations |
| title_exact_search | Decidability and Boolean representations |
| title_exact_search_txtP | 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 Projektive Varietät (DE-588)4327070-0 gnd Boolescher Verband (DE-588)4146289-0 gnd Algebraische Struktur (DE-588)4001166-5 gnd Entscheidbarkeit (DE-588)4152398-2 gnd Unentscheidbarkeit (DE-588)4294363-2 gnd Modularer Verband (DE-588)4242572-4 gnd Universelle Algebra (DE-588)4061777-4 gnd Algebraische Mannigfaltigkeit (DE-588)4128509-8 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 Projektive Varietät Boolescher Verband Algebraische Struktur Entscheidbarkeit Unentscheidbarkeit Modularer Verband Universelle Algebra Algebraische Mannigfaltigkeit |
| volume_link | (DE-604)BV008000141 |
| work_keys_str_mv | AT burrisstanley decidabilityandbooleanrepresentations AT mackenzieralphn decidabilityandbooleanrepresentations |