A first course in logic: an introduction to model theory, proof theory, computability, and complexity
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford [u.a.]
Oxford University Press
2004
|
| Edition: | 1. publ. |
| Series: | Oxford texts in logic
1 |
| Subjects: | |
| Item Description: | Includes bibliographical references (p. [426]-427) and index |
| Physical Description: | XX, 431 S. Ill. 25 cm |
| ISBN: | 0198529805 0198529813 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV019780314 | ||
| 003 | DE-604 | ||
| 005 | 20060322 | ||
| 007 | t | ||
| 008 | 050420s2004 xxka||| |||| 00||| eng d | ||
| 010 | |a 2004303637 | ||
| 015 | |a GBA4-X5534 |2 dnb | ||
| 020 | |a 0198529805 |9 0-19-852980-5 | ||
| 020 | |a 0198529813 |9 0-19852981-3 | ||
| 035 | |a (OCoLC)60839243 | ||
| 035 | |a (DE-599)BVBBV019780314 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-29 |a DE-29T | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 160 |2 22 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Hedman, Shawn |e Verfasser |0 (DE-588)140075267 |4 aut | |
| 245 | 1 | 0 | |a A first course in logic |b an introduction to model theory, proof theory, computability, and complexity |c Shawn Hedman |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford University Press |c 2004 | |
| 300 | |a XX, 431 S. |b Ill. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford texts in logic |v 1 | |
| 500 | |a Includes bibliographical references (p. [426]-427) and index | ||
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Oxford texts in logic |v 1 |w (DE-604)BV019784685 |9 1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013106281 | ||
Record in the Search Index
| _version_ | 1804133264086007809 |
|---|---|
| any_adam_object | |
| author | Hedman, Shawn |
| author_GND | (DE-588)140075267 |
| author_facet | Hedman, Shawn |
| author_role | aut |
| author_sort | Hedman, Shawn |
| author_variant | s h sh |
| building | Verbundindex |
| bvnumber | BV019780314 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)60839243 (DE-599)BVBBV019780314 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01632nam a2200517zcb4500</leader><controlfield tag="001">BV019780314</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060322 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050420s2004 xxka||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004303637</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA4-X5534</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198529805</subfield><subfield code="9">0-19-852980-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198529813</subfield><subfield code="9">0-19852981-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)60839243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019780314</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="044" ind1=" " ind2=" "><subfield code="a">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</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="100" ind1="1" ind2=" "><subfield code="a">Hedman, Shawn</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140075267</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A first course in logic</subfield><subfield code="b">an introduction to model theory, proof theory, computability, and complexity</subfield><subfield code="c">Shawn Hedman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 431 S.</subfield><subfield code="b">Ill.</subfield><subfield code="c">25 cm</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">Oxford texts in logic</subfield><subfield code="v">1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [426]-427) and index</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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</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="655" ind1=" " ind2="7"><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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford texts in logic</subfield><subfield code="v">1</subfield><subfield code="w">(DE-604)BV019784685</subfield><subfield code="9">1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013106281</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV019780314 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T20:05:57Z |
| institution | BVB |
| isbn | 0198529805 0198529813 |
| language | English |
| lccn | 2004303637 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013106281 |
| oclc_num | 60839243 |
| open_access_boolean | |
| owner | DE-29 DE-29T |
| owner_facet | DE-29 DE-29T |
| physical | XX, 431 S. Ill. 25 cm |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Oxford University Press |
| record_format | marc |
| series | Oxford texts in logic |
| series2 | Oxford texts in logic |
| spelling | Hedman, Shawn Verfasser (DE-588)140075267 aut A first course in logic an introduction to model theory, proof theory, computability, and complexity Shawn Hedman 1. publ. Oxford [u.a.] Oxford University Press 2004 XX, 431 S. Ill. 25 cm txt rdacontent n rdamedia nc rdacarrier Oxford texts in logic 1 Includes bibliographical references (p. [426]-427) and index Logica gtt Logique Logique symbolique et mathématique Logik Logic Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Logik (DE-588)4036202-4 s DE-604 Oxford texts in logic 1 (DE-604)BV019784685 1 |
| spellingShingle | Hedman, Shawn A first course in logic an introduction to model theory, proof theory, computability, and complexity Oxford texts in logic Logica gtt Logique Logique symbolique et mathématique Logik Logic Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4123623-3 |
| title | A first course in logic an introduction to model theory, proof theory, computability, and complexity |
| title_auth | A first course in logic an introduction to model theory, proof theory, computability, and complexity |
| title_exact_search | A first course in logic an introduction to model theory, proof theory, computability, and complexity |
| title_full | A first course in logic an introduction to model theory, proof theory, computability, and complexity Shawn Hedman |
| title_fullStr | A first course in logic an introduction to model theory, proof theory, computability, and complexity Shawn Hedman |
| title_full_unstemmed | A first course in logic an introduction to model theory, proof theory, computability, and complexity Shawn Hedman |
| title_short | A first course in logic |
| title_sort | a first course in logic an introduction to model theory proof theory computability and complexity |
| title_sub | an introduction to model theory, proof theory, computability, and complexity |
| topic | Logica gtt Logique Logique symbolique et mathématique Logik Logic Logic, Symbolic and mathematical Logik (DE-588)4036202-4 gnd |
| topic_facet | Logica Logique Logique symbolique et mathématique Logik Logic Logic, Symbolic and mathematical Lehrbuch |
| volume_link | (DE-604)BV019784685 |
| work_keys_str_mv | AT hedmanshawn afirstcourseinlogicanintroductiontomodeltheoryprooftheorycomputabilityandcomplexity |