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 xx |||| 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 MAT 036f |2 stub | ||
| 084 | |a DAT 706f |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 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009016687 | |
Record in the Search Index
| DE-BY-TUM_call_number | 0102 MAT 036f 2001 A 33594(2) |
|---|---|
| DE-BY-TUM_katkey | 2189340 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040008242040 |
| _version_ | 1821932858820788224 |
| 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 | MAT 036f DAT 706f |
| 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>01764nam a2200517zcb4500</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 xx |||| 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">MAT 036f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</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><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009016687</subfield></datafield></record></collection> |
| id | DE-604.BV013229871 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T10:43:36Z |
| 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 |
| 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 |
Order paper/chapter scan
Branch Library Mathematics & Informatics
| Call Number: |
0102 MAT 036f 2001 A 33594(2)
Floor plan |
|---|---|
| Copy 1 | Available for loan On Shelf |