Applied proof theory: proof interpretations and their use in mathematics
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2008
|
| Series: | Springer Monographs in mathematics
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIX, 532 S. |
| ISBN: | 9783540775324 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV023325905 | ||
| 003 | DE-604 | ||
| 005 | 20171107 | ||
| 007 | t | ||
| 008 | 080603s2008 gw |||| 00||| eng d | ||
| 016 | 7 | |a 988424258 |2 DE-101 | |
| 020 | |a 9783540775324 |c Gb. : EUR 74.85 (freier Pr.), sfr 122.00 (freier Pr.) |9 978-3-540-77532-4 | ||
| 035 | |a (OCoLC)244053704 | ||
| 035 | |a (DE-599)DNB988424258 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-19 |a DE-29T |a DE-20 |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 511.36 |2 22/ger | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03Fxx |2 msc | ||
| 084 | |a 47H10 |2 msc | ||
| 084 | |a 41A52 |2 msc | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 03B30 |2 msc | ||
| 084 | |a 41A10 |2 msc | ||
| 084 | |a 03F10 |2 msc | ||
| 084 | |a 47H09 |2 msc | ||
| 100 | 1 | |a Kohlenbach, Ulrich |d 1962- |e Verfasser |0 (DE-588)1143631900 |4 aut | |
| 245 | 1 | 0 | |a Applied proof theory |b proof interpretations and their use in mathematics |c U. Kohlenbach |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2008 | |
| 300 | |a XIX, 532 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Springer Monographs in mathematics | |
| 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 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-540-77533-1 |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016509920&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016509920 | ||
Record in the Search Index
| _version_ | 1804137666931851264 |
|---|---|
| adam_text | * * * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/988424258
DIGITALISIERT DURCH * * * * XVI CONTENTS 17.10 EXERCISES, HISTORICAL
COMMENTS AND SUGGESTED FURTHER READING .... 452 18 CASE STUDY II:
APPLICATIONS TO THE FIXED POINT THEORY OF NONEXPANSIVE MAPPINGS 455 18.1
GENERAL FACTS 455 18.2 APPLICATIONS OF THE METATHEOREMS FROM CHAPTER 17
461 18.3 LOGICAL ANALYSIS OF THE PROOF OF THE BORWEIN-REICH-SHAFRIR
THEOREM 468 18.4 ASYMPTOTICALLY NONEXPANSIVE MAPPINGS 496 18.5
APPLICATIONS OF PROOF MINING IN ERGODIC THEORY 499 18.6 EXERCISES,
HISTORICAL COMMENTS AND SUGGESTED FURTHER READING .... 501 19 FINAL
COMMENTS 503 REFERENCES 507 LIST OF FORMAL SYSTEMS AND TERM CLASSES 525
LIST OF AXIOMS AND RULES 527 INDEX 529
|
| adam_txt |
* * * * * * * BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/988424258
DIGITALISIERT DURCH * * * * XVI CONTENTS 17.10 EXERCISES, HISTORICAL
COMMENTS AND SUGGESTED FURTHER READING . 452 18 CASE STUDY II:
APPLICATIONS TO THE FIXED POINT THEORY OF NONEXPANSIVE MAPPINGS 455 18.1
GENERAL FACTS 455 18.2 APPLICATIONS OF THE METATHEOREMS FROM CHAPTER 17
461 18.3 LOGICAL ANALYSIS OF THE PROOF OF THE BORWEIN-REICH-SHAFRIR
THEOREM 468 18.4 ASYMPTOTICALLY NONEXPANSIVE MAPPINGS 496 18.5
APPLICATIONS OF PROOF MINING IN ERGODIC THEORY 499 18.6 EXERCISES,
HISTORICAL COMMENTS AND SUGGESTED FURTHER READING . 501 19 FINAL
COMMENTS 503 REFERENCES 507 LIST OF FORMAL SYSTEMS AND TERM CLASSES 525
LIST OF AXIOMS AND RULES 527 INDEX 529 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Kohlenbach, Ulrich 1962- |
| author_GND | (DE-588)1143631900 |
| author_facet | Kohlenbach, Ulrich 1962- |
| author_role | aut |
| author_sort | Kohlenbach, Ulrich 1962- |
| author_variant | u k uk |
| building | Verbundindex |
| bvnumber | BV023325905 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)244053704 (DE-599)DNB988424258 |
| dewey-full | 511.36 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.36 |
| dewey-search | 511.36 |
| dewey-sort | 3511.36 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| discipline_str_mv | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01705nam a2200469 c 4500</leader><controlfield tag="001">BV023325905</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171107 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080603s2008 gw |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">988424258</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540775324</subfield><subfield code="c">Gb. : EUR 74.85 (freier Pr.), sfr 122.00 (freier Pr.)</subfield><subfield code="9">978-3-540-77532-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)244053704</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB988424258</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.36</subfield><subfield code="2">22/ger</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">03Fxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">47H10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">41A52</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B30</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">41A10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F10</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">47H09</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kohlenbach, Ulrich</subfield><subfield code="d">1962-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1143631900</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Applied proof theory</subfield><subfield code="b">proof interpretations and their use in mathematics</subfield><subfield code="c">U. Kohlenbach</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 532 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="0" ind2=" "><subfield code="a">Springer Monographs in mathematics</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-540-77533-1</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016509920&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016509920</subfield></datafield></record></collection> |
| id | DE-604.BV023325905 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T20:55:33Z |
| indexdate | 2024-07-09T21:15:56Z |
| institution | BVB |
| isbn | 9783540775324 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016509920 |
| oclc_num | 244053704 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-29T DE-20 DE-83 DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-29T DE-20 DE-83 DE-11 |
| physical | XIX, 532 S. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer |
| record_format | marc |
| series2 | Springer Monographs in mathematics |
| spelling | Kohlenbach, Ulrich 1962- Verfasser (DE-588)1143631900 aut Applied proof theory proof interpretations and their use in mathematics U. Kohlenbach Berlin [u.a.] Springer 2008 XIX, 532 S. txt rdacontent n rdamedia nc rdacarrier Springer Monographs in mathematics Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s DE-604 Erscheint auch als Online-Ausgabe 978-3-540-77533-1 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016509920&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kohlenbach, Ulrich 1962- Applied proof theory proof interpretations and their use in mathematics Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| title | Applied proof theory proof interpretations and their use in mathematics |
| title_auth | Applied proof theory proof interpretations and their use in mathematics |
| title_exact_search | Applied proof theory proof interpretations and their use in mathematics |
| title_exact_search_txtP | Applied proof theory proof interpretations and their use in mathematics |
| title_full | Applied proof theory proof interpretations and their use in mathematics U. Kohlenbach |
| title_fullStr | Applied proof theory proof interpretations and their use in mathematics U. Kohlenbach |
| title_full_unstemmed | Applied proof theory proof interpretations and their use in mathematics U. Kohlenbach |
| title_short | Applied proof theory |
| title_sort | applied proof theory proof interpretations and their use in mathematics |
| title_sub | proof interpretations and their use in mathematics |
| topic | Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweistheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016509920&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kohlenbachulrich appliedprooftheoryproofinterpretationsandtheiruseinmathematics |