Logic and structure:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1980
|
| Series: | Universitext
|
| Subjects: | |
| Physical Description: | VII, 172 S. |
| ISBN: | 3540098933 0387098933 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001003802 | ||
| 003 | DE-604 | ||
| 005 | 20150624 | ||
| 007 | t | ||
| 008 | 890315s1980 |||| 00||| eng d | ||
| 020 | |a 3540098933 |9 3-540-09893-3 | ||
| 020 | |a 0387098933 |9 0-387-09893-3 | ||
| 035 | |a (OCoLC)611369595 | ||
| 035 | |a (DE-599)BVBBV001003802 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-91G |a DE-384 |a DE-739 |a DE-355 |a DE-20 |a DE-824 |a DE-29 |a DE-29T |a DE-706 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a 03-01 |2 msc | ||
| 100 | 1 | |a Dalen, Dirk van |d 1932- |e Verfasser |0 (DE-588)133205053 |4 aut | |
| 245 | 1 | 0 | |a Logic and structure |c Dirk van Dalen |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1980 | |
| 300 | |a VII, 172 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Universitext | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Symbolische logica |2 gtt | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a calcul prédicat |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 940 | 1 | |q TUB-www | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000607043 | ||
| 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 | |
Record in the Search Index
| _version_ | 1804115425464680448 |
|---|---|
| any_adam_object | |
| author | Dalen, Dirk van 1932- |
| author_GND | (DE-588)133205053 |
| author_facet | Dalen, Dirk van 1932- |
| author_role | aut |
| author_sort | Dalen, Dirk van 1932- |
| author_variant | d v d dv dvd |
| building | Verbundindex |
| bvnumber | BV001003802 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)611369595 (DE-599)BVBBV001003802 |
| dewey-full | 511 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511 |
| dewey-search | 511 |
| dewey-sort | 3511 |
| 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>01884nam a2200541 c 4500</leader><controlfield tag="001">BV001003802</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150624 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890315s1980 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540098933</subfield><subfield code="9">3-540-09893-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387098933</subfield><subfield code="9">0-387-09893-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611369595</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001003802</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dalen, Dirk van</subfield><subfield code="d">1932-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133205053</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and structure</subfield><subfield code="c">Dirk van Dalen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 172 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="0" ind2=" "><subfield code="a">Universitext</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolische logica</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="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</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="940" ind1="1" ind2=" "><subfield code="q">TUB-www</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000607043</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> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Einführung Lehrbuch |
| id | DE-604.BV001003802 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:22:25Z |
| institution | BVB |
| isbn | 3540098933 0387098933 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000607043 |
| oclc_num | 611369595 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-739 DE-355 DE-BY-UBR DE-20 DE-824 DE-29 DE-29T DE-706 DE-83 DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-739 DE-355 DE-BY-UBR DE-20 DE-824 DE-29 DE-29T DE-706 DE-83 DE-188 |
| physical | VII, 172 S. |
| psigel | TUB-www |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | Springer |
| record_format | marc |
| series2 | Universitext |
| spelling | Dalen, Dirk van 1932- Verfasser (DE-588)133205053 aut Logic and structure Dirk van Dalen Berlin [u.a.] Springer 1980 VII, 172 S. txt rdacontent n rdamedia nc rdacarrier Universitext Logique symbolique et mathématique Logique symbolique et mathématique ram Symbolische logica gtt Wiskundige logica gtt calcul propositionnel inriac calcul prédicat inriac logique mathématique inriac Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4123623-3 Lehrbuch gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 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 | Dalen, Dirk van 1932- Logic and structure Logique symbolique et mathématique Logique symbolique et mathématique ram Symbolische logica gtt Wiskundige logica gtt calcul propositionnel inriac calcul prédicat inriac logique mathématique inriac Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4151278-9 (DE-588)4123623-3 |
| title | Logic and structure |
| title_auth | Logic and structure |
| title_exact_search | Logic and structure |
| title_full | Logic and structure Dirk van Dalen |
| title_fullStr | Logic and structure Dirk van Dalen |
| title_full_unstemmed | Logic and structure Dirk van Dalen |
| title_short | Logic and structure |
| title_sort | logic and structure |
| topic | Logique symbolique et mathématique Logique symbolique et mathématique ram Symbolische logica gtt Wiskundige logica gtt calcul propositionnel inriac calcul prédicat inriac logique mathématique inriac Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logique symbolique et mathématique Symbolische logica Wiskundige logica calcul propositionnel calcul prédicat logique mathématique Logic, Symbolic and mathematical Mathematische Logik Einführung Lehrbuch |
| work_keys_str_mv | AT dalendirkvan logicandstructure |