A mathematical introduction to logic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York
Acad. Press
1972
|
| Schlagworte: | |
| Beschreibung: | XIII, 295 S. |
| ISBN: | 0122384504 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006317393 | ||
| 003 | DE-604 | ||
| 005 | 20031119 | ||
| 007 | t | ||
| 008 | 930210s1972 |||| 00||| eng d | ||
| 020 | |a 0122384504 |9 0-12-238450-4 | ||
| 035 | |a (OCoLC)370402 | ||
| 035 | |a (DE-599)BVBBV006317393 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-11 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511/.3 |2 18 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Enderton, Herbert B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A mathematical introduction to logic |c Herbert B. Enderton |
| 264 | 1 | |a New York |b Acad. Press |c 1972 | |
| 300 | |a XIII, 295 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a décidabilité |2 inriac | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique séquentielle |2 inriac | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 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 | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-003996874 | ||
| 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_ | 1804120535221665792 |
|---|---|
| any_adam_object | |
| author | Enderton, Herbert B. |
| author_facet | Enderton, Herbert B. |
| author_role | aut |
| author_sort | Enderton, Herbert B. |
| author_variant | h b e hb hbe |
| building | Verbundindex |
| bvnumber | BV006317393 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)370402 (DE-599)BVBBV006317393 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01808nam a2200529 c 4500</leader><controlfield tag="001">BV006317393</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20031119 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1972 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0122384504</subfield><subfield code="9">0-12-238450-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)370402</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006317393</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-739</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.3</subfield><subfield code="2">18</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="100" ind1="1" ind2=" "><subfield code="a">Enderton, Herbert B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A mathematical introduction to logic</subfield><subfield code="c">Herbert B. Enderton</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York</subfield><subfield code="b">Acad. Press</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 295 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="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</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">décidabilité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</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="7"><subfield code="a">logique séquentielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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="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="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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</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">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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003996874</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 |
| genre_facet | Einführung |
| id | DE-604.BV006317393 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:43:38Z |
| institution | BVB |
| isbn | 0122384504 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003996874 |
| oclc_num | 370402 |
| open_access_boolean | |
| owner | DE-739 DE-11 |
| owner_facet | DE-739 DE-11 |
| physical | XIII, 295 S. |
| publishDate | 1972 |
| publishDateSearch | 1972 |
| publishDateSort | 1972 |
| publisher | Acad. Press |
| record_format | marc |
| spelling | Enderton, Herbert B. Verfasser aut A mathematical introduction to logic Herbert B. Enderton New York Acad. Press 1972 XIII, 295 S. txt rdacontent n rdamedia nc rdacarrier Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram décidabilité inriac logique 1er ordre inriac logique mathématique inriac logique séquentielle inriac Logik Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Logik (DE-588)4036202-4 s Mathematik (DE-588)4037944-9 s DE-604 Mathematische Logik (DE-588)4037951-6 s 2\p 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 | Enderton, Herbert B. A mathematical introduction to logic Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram décidabilité inriac logique 1er ordre inriac logique mathématique inriac logique séquentielle inriac Logik Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | A mathematical introduction to logic |
| title_auth | A mathematical introduction to logic |
| title_exact_search | A mathematical introduction to logic |
| title_full | A mathematical introduction to logic Herbert B. Enderton |
| title_fullStr | A mathematical introduction to logic Herbert B. Enderton |
| title_full_unstemmed | A mathematical introduction to logic Herbert B. Enderton |
| title_short | A mathematical introduction to logic |
| title_sort | a mathematical introduction to logic |
| topic | Logica gtt Logique symbolique et mathématique Logique symbolique et mathématique ram décidabilité inriac logique 1er ordre inriac logique mathématique inriac logique séquentielle inriac Logik Logic, Symbolic and mathematical Mathematik (DE-588)4037944-9 gnd Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logica Logique symbolique et mathématique décidabilité logique 1er ordre logique mathématique logique séquentielle Logik Logic, Symbolic and mathematical Mathematik Mathematische Logik Einführung |
| work_keys_str_mv | AT endertonherbertb amathematicalintroductiontologic |