Matrix logic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1988
|
| Schlagworte: | |
| Online-Zugang: | FAW01 Volltext |
| Beschreibung: | Includes index In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to the whole set of logic operations, allowing the derivation of both the classical and modal logics from the same formal base |
| Beschreibung: | viii, 215 pages |
| ISBN: | 0444704329 9780444704320 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044381896 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1988 |||| o||u| ||||||eng d | ||
| 020 | |a 0444704329 |9 0-444-70432-9 | ||
| 020 | |a 9780444704320 |9 978-0-444-70432-0 | ||
| 035 | |a (ZDB-33-ESD)ocn682087835 | ||
| 035 | |a (OCoLC)682087835 | ||
| 035 | |a (DE-599)BVBBV044381896 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 511.3 |2 19eng | |
| 100 | 1 | |a Stern, August |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Matrix logic |c August Stern |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1988 | |
| 300 | |a viii, 215 pages | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes index | ||
| 500 | |a In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to the whole set of logic operations, allowing the derivation of both the classical and modal logics from the same formal base | ||
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Logique matricielle | |
| 650 | 7 | |a Matrix logic |2 fast | |
| 650 | 7 | |a Logische Matrix |2 swd | |
| 650 | 4 | |a Matrix logic | |
| 650 | 0 | 7 | |a Logische Matrix |0 (DE-588)4209672-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Matrix |0 (DE-588)4209672-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444704320 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029784118 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780444704320 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177645639827456 |
|---|---|
| any_adam_object | |
| author | Stern, August |
| author_facet | Stern, August |
| author_role | aut |
| author_sort | Stern, August |
| author_variant | a s as |
| building | Verbundindex |
| bvnumber | BV044381896 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn682087835 (OCoLC)682087835 (DE-599)BVBBV044381896 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01964nmm a2200457zc 4500</leader><controlfield tag="001">BV044381896</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1988 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444704329</subfield><subfield code="9">0-444-70432-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444704320</subfield><subfield code="9">978-0-444-70432-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn682087835</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)682087835</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044381896</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></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">19eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stern, August</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Matrix logic</subfield><subfield code="c">August Stern</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 215 pages</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="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to the whole set of logic operations, allowing the derivation of both the classical and modal logics from the same formal base</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique matricielle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Matrix logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logische Matrix</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Matrix logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Matrix</subfield><subfield code="0">(DE-588)4209672-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Matrix</subfield><subfield code="0">(DE-588)4209672-8</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/9780444704320</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029784118</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="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780444704320</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044381896 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:22Z |
| institution | BVB |
| isbn | 0444704329 9780444704320 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029784118 |
| oclc_num | 682087835 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | viii, 215 pages |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | North-Holland |
| record_format | marc |
| spelling | Stern, August Verfasser aut Matrix logic August Stern Amsterdam North-Holland 1988 viii, 215 pages txt rdacontent c rdamedia cr rdacarrier Includes index In this pioneering work, the author develops a fundamental formulation of logic in terms of theory of matrices and vector spaces. The discovery of matrix logic represents a landmark in the further formalization of logic. For the first time the power of direct mathematical computation is applied to the whole set of logic operations, allowing the derivation of both the classical and modal logics from the same formal base Logique symbolique et mathématique Logique matricielle Matrix logic fast Logische Matrix swd Matrix logic Logische Matrix (DE-588)4209672-8 gnd rswk-swf Logische Matrix (DE-588)4209672-8 s 1\p DE-604 http://www.sciencedirect.com/science/book/9780444704320 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Stern, August Matrix logic Logique symbolique et mathématique Logique matricielle Matrix logic fast Logische Matrix swd Matrix logic Logische Matrix (DE-588)4209672-8 gnd |
| subject_GND | (DE-588)4209672-8 |
| title | Matrix logic |
| title_auth | Matrix logic |
| title_exact_search | Matrix logic |
| title_full | Matrix logic August Stern |
| title_fullStr | Matrix logic August Stern |
| title_full_unstemmed | Matrix logic August Stern |
| title_short | Matrix logic |
| title_sort | matrix logic |
| topic | Logique symbolique et mathématique Logique matricielle Matrix logic fast Logische Matrix swd Matrix logic Logische Matrix (DE-588)4209672-8 gnd |
| topic_facet | Logique symbolique et mathématique Logique matricielle Matrix logic Logische Matrix |
| url | http://www.sciencedirect.com/science/book/9780444704320 |
| work_keys_str_mv | AT sternaugust matrixlogic |