Logic in algebraic form: three languages and theories
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam [u.a.]
North-Holland Publ. [u.a.]
1974
|
| Series: | Studies in logic and the foundations of mathematics
72 |
| Subjects: | |
| Physical Description: | VIII, 204 S. |
| ISBN: | 0720422728 0444104771 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001954414 | ||
| 003 | DE-604 | ||
| 005 | 20130715 | ||
| 007 | t | ||
| 008 | 890928s1974 |||| 00||| eng d | ||
| 020 | |a 0720422728 |c NorthHolland |9 0-7204-2272-8 | ||
| 020 | |a 0444104771 |c American Elsevier |9 0-444-10477-1 | ||
| 035 | |a (OCoLC)949471 | ||
| 035 | |a (DE-599)BVBBV001954414 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-703 |a DE-355 |a DE-19 |a DE-29T |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA10 | |
| 082 | 0 | |a 511/.3 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a SK 150 |0 (DE-625)143218: |2 rvk | ||
| 084 | |a 03Gxx |2 msc | ||
| 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 [u.a.] |b North-Holland Publ. [u.a.] |c 1974 | |
| 300 | |a VIII, 204 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 72 | |
| 650 | 7 | |a Algebraïsche logica |2 gtt | |
| 650 | 4 | |a Logique algébrique | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 7 | |a Verzamelingen (wiskunde) |2 gtt | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 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 Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 72 |w (DE-604)BV000893472 |9 72 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001274006 | ||
| 980 | 4 | |a (DE-12)AK04610307 | |
Record in the Search Index
| _version_ | 1804116396104220672 |
|---|---|
| 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 | BV001954414 |
| callnumber-first | Q - Science |
| callnumber-label | QA10 |
| callnumber-raw | QA10 |
| callnumber-search | QA10 |
| callnumber-sort | QA 210 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 SK 150 |
| ctrlnum | (OCoLC)949471 (DE-599)BVBBV001954414 |
| 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 Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01903nam a2200553 cb4500</leader><controlfield tag="001">BV001954414</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130715 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1974 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0720422728</subfield><subfield code="c">NorthHolland</subfield><subfield code="9">0-7204-2272-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444104771</subfield><subfield code="c">American Elsevier</subfield><subfield code="9">0-444-10477-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)949471</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001954414</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-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA10</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 150</subfield><subfield code="0">(DE-625)143218:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Gxx</subfield><subfield code="2">msc</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 [u.a.]</subfield><subfield code="b">North-Holland Publ. [u.a.]</subfield><subfield code="c">1974</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 204 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">72</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="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">Verzamelingen (wiskunde)</subfield><subfield code="2">gtt</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="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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">72</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">72</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001274006</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK04610307</subfield></datafield></record></collection> |
| id | DE-604.BV001954414 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:37:50Z |
| institution | BVB |
| isbn | 0720422728 0444104771 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001274006 |
| oclc_num | 949471 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-703 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29T DE-83 DE-11 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-703 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-29T DE-83 DE-11 |
| physical | VIII, 204 S. |
| publishDate | 1974 |
| publishDateSearch | 1974 |
| publishDateSort | 1974 |
| publisher | North-Holland Publ. [u.a.] |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| 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 [u.a.] North-Holland Publ. [u.a.] 1974 VIII, 204 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 72 Algebraïsche logica gtt Logique algébrique Preuve, Théorie de la Verzamelingen (wiskunde) gtt Wiskundige logica gtt 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 Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s Algebra (DE-588)4001156-2 s Studies in logic and the foundations of mathematics 72 (DE-604)BV000893472 72 |
| spellingShingle | Craig, William Logic in algebraic form three languages and theories Studies in logic and the foundations of mathematics Algebraïsche logica gtt Logique algébrique Preuve, Théorie de la Verzamelingen (wiskunde) gtt Wiskundige logica gtt 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 | Algebraïsche logica gtt Logique algébrique Preuve, Théorie de la Verzamelingen (wiskunde) gtt Wiskundige logica gtt 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 | Algebraïsche logica Logique algébrique Preuve, Théorie de la Verzamelingen (wiskunde) Wiskundige logica Algebraic logic Proof theory Mathematische Logik Algebra Logik |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT craigwilliam logicinalgebraicformthreelanguagesandtheories |