Basic proof theory:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge
Cambridge Univ. Press
2000
|
| Edition: | 2. ed. |
| Series: | Cambridge tracts in theoretical computer science
43 |
| Subjects: | |
| Physical Description: | XII, 417 S. |
| ISBN: | 0521779111 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV013229871 | ||
| 003 | DE-604 | ||
| 005 | 20160401 | ||
| 007 | t | ||
| 008 | 000704s2000 |||| 00||| eng d | ||
| 020 | |a 0521779111 |9 0-521-77911-1 | ||
| 035 | |a (OCoLC)248014612 | ||
| 035 | |a (DE-599)BVBBV013229871 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29T |a DE-703 |a DE-11 |a DE-91G | ||
| 050 | 0 | |a QA9.54 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a MAT 036f |2 stub | ||
| 100 | 1 | |a Troelstra, Anne S. |d 1939-2019 |e Verfasser |0 (DE-588)131940058 |4 aut | |
| 245 | 1 | 0 | |a Basic proof theory |c A. S. Troelstra ; H. Schwichtenberg |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 2000 | |
| 300 | |a XII, 417 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science |v 43 | |
| 650 | 7 | |a Bewijstheorie |2 gtt | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 4 | |a Preuve, Théorie de la | |
| 650 | 7 | |a Preuve, Théorie de la |2 ram | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a théorie catégorie |2 inriac | |
| 650 | 7 | |a théorie démonstration |2 inriac | |
| 650 | 4 | |a Proof theory | |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Schwichtenberg, Helmut |d 1942- |e Verfasser |0 (DE-588)1023588242 |4 aut | |
| 830 | 0 | |a Cambridge tracts in theoretical computer science |v 43 |w (DE-604)BV000754528 |9 43 | |
Record in the Search Index
| _version_ | 1805082829502021632 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942- |
| author_GND | (DE-588)131940058 (DE-588)1023588242 |
| author_facet | Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942- |
| author_role | aut aut |
| author_sort | Troelstra, Anne S. 1939-2019 |
| author_variant | a s t as ast h s hs |
| building | Verbundindex |
| bvnumber | BV013229871 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54 |
| callnumber-search | QA9.54 |
| callnumber-sort | QA 19.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 130 |
| classification_tum | DAT 706f MAT 036f |
| ctrlnum | (OCoLC)248014612 (DE-599)BVBBV013229871 |
| 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.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV013229871</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160401</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000704s2000 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521779111</subfield><subfield code="9">0-521-77911-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248014612</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013229871</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-29T</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</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">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 036f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Troelstra, Anne S.</subfield><subfield code="d">1939-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131940058</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Basic proof theory</subfield><subfield code="c">A. S. Troelstra ; H. Schwichtenberg</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 417 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">Cambridge tracts in theoretical computer science</subfield><subfield code="v">43</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</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="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, Théorie de la</subfield><subfield code="2">ram</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">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</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">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1023588242</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">43</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">43</subfield></datafield></record></collection> |
| id | DE-604.BV013229871 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-20T07:38:52Z |
| institution | BVB |
| isbn | 0521779111 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009016687 |
| oclc_num | 248014612 |
| open_access_boolean | |
| owner | DE-739 DE-29T DE-703 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-739 DE-29T DE-703 DE-11 DE-91G DE-BY-TUM |
| physical | XII, 417 S. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | Troelstra, Anne S. 1939-2019 Verfasser (DE-588)131940058 aut Basic proof theory A. S. Troelstra ; H. Schwichtenberg 2. ed. Cambridge Cambridge Univ. Press 2000 XII, 417 S. txt rdacontent n rdamedia nc rdacarrier Cambridge tracts in theoretical computer science 43 Bewijstheorie gtt Logique symbolique et mathématique ram Preuve, Théorie de la Preuve, Théorie de la ram logique 1er ordre inriac programmation en logique inriac théorie catégorie inriac théorie démonstration inriac Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s DE-604 Schwichtenberg, Helmut 1942- Verfasser (DE-588)1023588242 aut Cambridge tracts in theoretical computer science 43 (DE-604)BV000754528 43 |
| spellingShingle | Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942- Basic proof theory Cambridge tracts in theoretical computer science Bewijstheorie gtt Logique symbolique et mathématique ram Preuve, Théorie de la Preuve, Théorie de la ram logique 1er ordre inriac programmation en logique inriac théorie catégorie inriac théorie démonstration inriac Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| title | Basic proof theory |
| title_auth | Basic proof theory |
| title_exact_search | Basic proof theory |
| title_full | Basic proof theory A. S. Troelstra ; H. Schwichtenberg |
| title_fullStr | Basic proof theory A. S. Troelstra ; H. Schwichtenberg |
| title_full_unstemmed | Basic proof theory A. S. Troelstra ; H. Schwichtenberg |
| title_short | Basic proof theory |
| title_sort | basic proof theory |
| topic | Bewijstheorie gtt Logique symbolique et mathématique ram Preuve, Théorie de la Preuve, Théorie de la ram logique 1er ordre inriac programmation en logique inriac théorie catégorie inriac théorie démonstration inriac Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Bewijstheorie Logique symbolique et mathématique Preuve, Théorie de la logique 1er ordre programmation en logique théorie catégorie théorie démonstration Proof theory Beweistheorie |
| volume_link | (DE-604)BV000754528 |
| work_keys_str_mv | AT troelstraannes basicprooftheory AT schwichtenberghelmut basicprooftheory |