Logic in algebraic form: Three languages and theories
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland Pub. Co.
1974
|
| Schriftenreihe: | Studies in logic and the foundations of mathematics
v. 72 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Includes bibliographical references |
| Beschreibung: | 1 Online-Ressource (viii, 204 p.) |
| ISBN: | 9780080954837 0080954839 9780444104779 0444104771 0720422000 0720422728 9780720422726 9780720422009 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042317928 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s1974 |||| o||u| ||||||eng d | ||
| 020 | |a 9780080954837 |c electronic bk. |9 978-0-08-095483-7 | ||
| 020 | |a 0080954839 |c electronic bk. |9 0-08-095483-9 | ||
| 020 | |a 9780444104779 |9 978-0-444-10477-9 | ||
| 020 | |a 0444104771 |9 0-444-10477-1 | ||
| 020 | |a 0720422000 |9 0-7204-2200-0 | ||
| 020 | |a 0720422728 |9 0-7204-2272-8 | ||
| 020 | |a 9780720422726 |9 978-0-7204-2272-6 | ||
| 020 | |a 9780720422009 |9 978-0-7204-2200-9 | ||
| 035 | |a (OCoLC)428097341 | ||
| 035 | |a (DE-599)BVBBV042317928 | ||
| 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 Craig, William |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic in algebraic form |b Three languages and theories |c William Craig |
| 264 | 1 | |a Amsterdam |b North-Holland Pub. Co. |c 1974 | |
| 300 | |a 1 Online-Ressource (viii, 204 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. 72 | |
| 500 | |a Includes bibliographical references | ||
| 650 | 7 | |a MATHEMATICS / Infinity |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 4 | |a Logique algébrique | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a Verzamelingen (wiskunde) |2 gtt | |
| 650 | 7 | |a Algebraïsche logica |2 gtt | |
| 650 | 7 | |a Mathematische Logik |2 swd | |
| 650 | 7 | |a Logik |2 swd | |
| 650 | 7 | |a Algebra |2 swd | |
| 650 | 7 | |a Logique algébrique |2 ram | |
| 650 | 7 | |a Preuve, Théorie de la |2 ram | |
| 650 | 4 | |a THEORIE EQUATIONNELLE. | |
| 650 | 4 | |a langage algébrique | |
| 650 | 4 | |a logique premier ordre | |
| 650 | 7 | |a Algebraic logic |2 fast | |
| 650 | 7 | |a Proof theory |2 fast | |
| 650 | 4 | |a Algebraic logic | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444104779 |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-027754919 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804152914907758592 |
|---|---|
| any_adam_object | |
| author | Craig, William |
| author_facet | Craig, William |
| author_role | aut |
| author_sort | Craig, William |
| author_variant | w c wc |
| building | Verbundindex |
| bvnumber | BV042317928 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (OCoLC)428097341 (DE-599)BVBBV042317928 |
| 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>02737nmm a2200769zcb4500</leader><controlfield tag="001">BV042317928</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s1974 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080954837</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-095483-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080954839</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-095483-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444104779</subfield><subfield code="9">978-0-444-10477-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444104771</subfield><subfield code="9">0-444-10477-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422000</subfield><subfield code="9">0-7204-2200-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422728</subfield><subfield code="9">0-7204-2272-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720422726</subfield><subfield code="9">978-0-7204-2272-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780720422009</subfield><subfield code="9">978-0-7204-2200-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)428097341</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042317928</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">Craig, William</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic in algebraic form</subfield><subfield code="b">Three languages and theories</subfield><subfield code="c">William Craig</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland Pub. Co.</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 204 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. 72</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Infinity</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique algébrique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verzamelingen (wiskunde)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraïsche logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique algébrique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">THEORIE EQUATIONNELLE.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">langage algébrique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logique premier ordre</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebraic logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Proof theory</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</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="689" ind1="1" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\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/9780444104779</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-027754919</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></record></collection> |
| id | DE-604.BV042317928 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:17Z |
| institution | BVB |
| isbn | 9780080954837 0080954839 9780444104779 0444104771 0720422000 0720422728 9780720422726 9780720422009 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027754919 |
| oclc_num | 428097341 |
| open_access_boolean | |
| owner | DE-1046 DE-706 |
| owner_facet | DE-1046 DE-706 |
| physical | 1 Online-Ressource (viii, 204 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | North-Holland Pub. Co. |
| record_format | marc |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Craig, William Verfasser aut Logic in algebraic form Three languages and theories William Craig Amsterdam North-Holland Pub. Co. 1974 1 Online-Ressource (viii, 204 p.) txt rdacontent c rdamedia cr rdacarrier Studies in logic and the foundations of mathematics v. 72 Includes bibliographical references MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logique algébrique Preuve, Théorie de la Wiskundige logica gtt Verzamelingen (wiskunde) gtt Algebraïsche logica gtt Mathematische Logik swd Logik swd Algebra swd Logique algébrique ram Preuve, Théorie de la ram THEORIE EQUATIONNELLE. langage algébrique logique premier ordre Algebraic logic fast Proof theory fast Algebraic logic Proof theory Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s Algebra (DE-588)4001156-2 s 1\p DE-604 Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 http://www.sciencedirect.com/science/book/9780444104779 Verlag Volltext 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 |
| spellingShingle | Craig, William Logic in algebraic form Three languages and theories MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logique algébrique Preuve, Théorie de la Wiskundige logica gtt Verzamelingen (wiskunde) gtt Algebraïsche logica gtt Mathematische Logik swd Logik swd Algebra swd Logique algébrique ram Preuve, Théorie de la ram THEORIE EQUATIONNELLE. langage algébrique logique premier ordre Algebraic logic fast Proof theory fast Algebraic logic Proof theory Mathematische Logik (DE-588)4037951-6 gnd Algebra (DE-588)4001156-2 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4001156-2 (DE-588)4036202-4 |
| title | Logic in algebraic form Three languages and theories |
| title_auth | Logic in algebraic form Three languages and theories |
| title_exact_search | Logic in algebraic form Three languages and theories |
| title_full | Logic in algebraic form Three languages and theories William Craig |
| title_fullStr | Logic in algebraic form Three languages and theories William Craig |
| title_full_unstemmed | Logic in algebraic form Three languages and theories William Craig |
| title_short | Logic in algebraic form |
| title_sort | logic in algebraic form three languages and theories |
| title_sub | Three languages and theories |
| topic | MATHEMATICS / Infinity bisacsh MATHEMATICS / Logic bisacsh Logique algébrique Preuve, Théorie de la Wiskundige logica gtt Verzamelingen (wiskunde) gtt Algebraïsche logica gtt Mathematische Logik swd Logik swd Algebra swd Logique algébrique ram Preuve, Théorie de la ram THEORIE EQUATIONNELLE. langage algébrique logique premier ordre Algebraic logic fast Proof theory fast Algebraic logic Proof theory Mathematische Logik (DE-588)4037951-6 gnd Algebra (DE-588)4001156-2 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | MATHEMATICS / Infinity MATHEMATICS / Logic Logique algébrique Preuve, Théorie de la Wiskundige logica Verzamelingen (wiskunde) Algebraïsche logica Mathematische Logik Logik Algebra THEORIE EQUATIONNELLE. langage algébrique logique premier ordre Algebraic logic Proof theory |
| url | http://www.sciencedirect.com/science/book/9780444104779 |
| work_keys_str_mv | AT craigwilliam logicinalgebraicformthreelanguagesandtheories |