Completeness of many-sorted equational logic:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, CA
CSLI
1984
|
| Schriftenreihe: | Report / Center for the Study of Language and Information
15 |
| Schlagworte: | |
| Beschreibung: | 28 Bl. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV014163979 | ||
| 003 | DE-604 | ||
| 005 | 20171123 | ||
| 007 | t | ||
| 008 | 020221s1984 |||| 00||| eng d | ||
| 035 | |a (OCoLC)24236056 | ||
| 035 | |a (DE-599)BVBBV014163979 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 050 | 0 | |a P1 | |
| 088 | |a CSLI 84 15 | ||
| 100 | 1 | |a Goguen, Joseph |d 1941-2006 |e Verfasser |0 (DE-588)172100275 |4 aut | |
| 245 | 1 | 0 | |a Completeness of many-sorted equational logic |c by J. A. Goguen and J. Meseguer |
| 264 | 1 | |a Stanford, CA |b CSLI |c 1984 | |
| 300 | |a 28 Bl. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Report / Center for the Study of Language and Information |v 15 | |
| 650 | 4 | |a Equations, Theory of | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 700 | 1 | |a Meseguer, José |e Verfasser |4 aut | |
| 810 | 2 | |a Center for the Study of Language and Information |t Report |v 15 |w (DE-604)BV000902395 |9 15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009708259 | ||
Datensatz im Suchindex
| _version_ | 1804129040783638528 |
|---|---|
| any_adam_object | |
| author | Goguen, Joseph 1941-2006 Meseguer, José |
| author_GND | (DE-588)172100275 |
| author_facet | Goguen, Joseph 1941-2006 Meseguer, José |
| author_role | aut aut |
| author_sort | Goguen, Joseph 1941-2006 |
| author_variant | j g jg j m jm |
| building | Verbundindex |
| bvnumber | BV014163979 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P1 |
| callnumber-raw | P1 |
| callnumber-search | P1 |
| callnumber-sort | P 11 |
| callnumber-subject | P - Philology and Linguistics |
| ctrlnum | (OCoLC)24236056 (DE-599)BVBBV014163979 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01053nam a2200325 cb4500</leader><controlfield tag="001">BV014163979</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171123 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020221s1984 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24236056</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014163979</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P1</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">CSLI 84 15</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goguen, Joseph</subfield><subfield code="d">1941-2006</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172100275</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Completeness of many-sorted equational logic</subfield><subfield code="c">by J. A. Goguen and J. Meseguer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, CA</subfield><subfield code="b">CSLI</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">28 Bl.</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">Report / Center for the Study of Language and Information</subfield><subfield code="v">15</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Equations, Theory of</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meseguer, José</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Center for the Study of Language and Information</subfield><subfield code="t">Report</subfield><subfield code="v">15</subfield><subfield code="w">(DE-604)BV000902395</subfield><subfield code="9">15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009708259</subfield></datafield></record></collection> |
| id | DE-604.BV014163979 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:58:49Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009708259 |
| oclc_num | 24236056 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 28 Bl. |
| publishDate | 1984 |
| publishDateSearch | 1984 |
| publishDateSort | 1984 |
| publisher | CSLI |
| record_format | marc |
| series2 | Report / Center for the Study of Language and Information |
| spelling | Goguen, Joseph 1941-2006 Verfasser (DE-588)172100275 aut Completeness of many-sorted equational logic by J. A. Goguen and J. Meseguer Stanford, CA CSLI 1984 28 Bl. txt rdacontent n rdamedia nc rdacarrier Report / Center for the Study of Language and Information 15 Equations, Theory of Logic, Symbolic and mathematical Meseguer, José Verfasser aut Center for the Study of Language and Information Report 15 (DE-604)BV000902395 15 |
| spellingShingle | Goguen, Joseph 1941-2006 Meseguer, José Completeness of many-sorted equational logic Equations, Theory of Logic, Symbolic and mathematical |
| title | Completeness of many-sorted equational logic |
| title_auth | Completeness of many-sorted equational logic |
| title_exact_search | Completeness of many-sorted equational logic |
| title_full | Completeness of many-sorted equational logic by J. A. Goguen and J. Meseguer |
| title_fullStr | Completeness of many-sorted equational logic by J. A. Goguen and J. Meseguer |
| title_full_unstemmed | Completeness of many-sorted equational logic by J. A. Goguen and J. Meseguer |
| title_short | Completeness of many-sorted equational logic |
| title_sort | completeness of many sorted equational logic |
| topic | Equations, Theory of Logic, Symbolic and mathematical |
| topic_facet | Equations, Theory of Logic, Symbolic and mathematical |
| volume_link | (DE-604)BV000902395 |
| work_keys_str_mv | AT goguenjoseph completenessofmanysortedequationallogic AT meseguerjose completenessofmanysortedequationallogic |