A mathematical introduction to logic
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
new York [u.a.]
Academic Press
1972
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001977178 | ||
| 003 | DE-604 | ||
| 005 | 20081023 | ||
| 007 | t| | ||
| 008 | 890928s1972 xx d||| |||| 00||| eng d | ||
| 020 | |a 0122384504 |9 0-12-238450-4 | ||
| 035 | |a (OCoLC)370402 | ||
| 035 | |a (DE-599)BVBBV001977178 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-19 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511/.3 |2 18 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03-01 |2 msc | ||
| 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 [u.a.] |b Academic Press |c 1972 | |
| 300 | |a XIII, 295 S. |b graph. Darst. | ||
| 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 Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |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 | |
| 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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001289619 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 MAT 030f 2001 A 13340 |
|---|---|
| DE-BY-TUM_katkey | 175039 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010519709 040010513918 040008681881 |
| _version_ | 1820890991311192064 |
| 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 | BV001977178 |
| 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)BVBBV001977178 |
| 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>01885nam a2200541 c 4500</leader><controlfield tag="001">BV001977178</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20081023 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1972 xx d||| |||| 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)BVBBV001977178</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-19</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/.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="084" ind1=" " ind2=" "><subfield code="a">03-01</subfield><subfield code="2">msc</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 [u.a.]</subfield><subfield code="b">Academic Press</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 295 S.</subfield><subfield code="b">graph. Darst.</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">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">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">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="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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001289619</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV001977178 |
| illustrated | Illustrated |
| indexdate | 2024-12-23T10:27:11Z |
| institution | BVB |
| isbn | 0122384504 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001289619 |
| oclc_num | 370402 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-19 DE-BY-UBM DE-83 DE-188 |
| physical | XIII, 295 S. graph. Darst. |
| publishDate | 1972 |
| publishDateSearch | 1972 |
| publishDateSort | 1972 |
| publisher | Academic Press |
| record_format | marc |
| 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 Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037944-9 (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 Logik (DE-588)4036202-4 gnd Mathematik (DE-588)4037944-9 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 |