Handbook of proof theory:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam [u.a.]
Elsevier
1998
|
| Series: | Studies in logic and the foundations of mathematics
137 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 811 S. |
| ISBN: | 0444898409 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012284142 | ||
| 003 | DE-604 | ||
| 005 | 19990805 | ||
| 007 | t | ||
| 008 | 981130s1998 ne |||| 00||| eng d | ||
| 020 | |a 0444898409 |9 0-444-89840-9 | ||
| 035 | |a (OCoLC)245699769 | ||
| 035 | |a (DE-599)BVBBV012284142 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c XA-NL | ||
| 049 | |a DE-739 |a DE-703 |a DE-20 |a DE-19 |a DE-521 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9.54.H35 1998 | |
| 082 | 0 | |a 511.3 | |
| 082 | 0 | |a 511.3 21 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03F03 |2 msc | ||
| 084 | |a 03-00 |2 msc | ||
| 245 | 1 | 0 | |a Handbook of proof theory |c ed. by Samuel R. Buss |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 1998 | |
| 300 | |a 811 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics |v 137 | |
| 650 | 4 | |a Beweistheorie | |
| 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 Buss, Samuel R. |e Sonstige |4 oth | |
| 830 | 0 | |a Studies in logic and the foundations of mathematics |v 137 |w (DE-604)BV000893472 |9 137 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008328018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008328018 | ||
Record in the Search Index
| _version_ | 1804126907787116544 |
|---|---|
| adam_text | HANDBOOK OF PROOF THEORY EDITED BY SAMUEL R. BUSS UNIVERSITY OF
CALIFORNIA, SAN DIEGO ELSEVIER AMSTERDAM * LAUSANNE * NEW YORK * OXFORD
* SHANNON * SINGAPORE * TOKYO TABLE OF CONTENTS PREFACE V LIST OF
CONTRIBUTORS VII CHAPTER I. AN INTRODUCTION TO PROOF THEORY SARRTUEL R.
BUSS 1 CHAPTER II. FIRST-ORDER PROOF THEORY OF ARITHMETIC SAMUEL R. BUSS
79 CHAPTER III. HIERARCHIES OF PROVABLY RECURSIVE FUNCTIONS MATT
FAIRTLOUGH AND STANLEY S. WAINER 149 CHAPTER IV. SUBSYSTEMS OF SET
THEORY AND SECOND ORDER NUMBER THEORY WOLFRAM POHLERS 209 CHAPTER V.
GOEDEL S FUNCTIONAL ( DIALECTICA ) INTERPRETATION JEREMY AVIGAD AND
SOLOMON FEFERMAN 337 CHAPTER VI. REALIZABILITY ANNE S. TROELSTRA 407
CHAPTER VII. THE LOGIC OF PROVABILITY GIORGI JAPARIDZE AND DICK DE JONGH
475 CHAPTER VIII. THE LENGTHS OF PROOFS PAVEL PUDLAEK 547 CHAPTER IX. A
PROOF-THEORETIC FRAMEWORK FOR LOGIC PROGRAMMING GERHARD JAEGER AND ROBERT
F. STAERK 639 CHAPTER X. TYPES IN LOGIC, MATHEMATICS AND PROGRAMMING
ROBERT L. CONSTABLE 683 NAME INDEX 787 SUBJECT INDEX 797
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV012284142 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.54.H35 1998 |
| callnumber-search | QA9.54.H35 1998 |
| callnumber-sort | QA 19.54 H35 41998 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2400 SK 130 |
| ctrlnum | (OCoLC)245699769 (DE-599)BVBBV012284142 |
| dewey-full | 511.3 511.321 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 511.3 21 |
| dewey-search | 511.3 511.3 21 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01609nam a2200445 cb4500</leader><controlfield tag="001">BV012284142</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990805 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">981130s1998 ne |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444898409</subfield><subfield code="9">0-444-89840-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)245699769</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012284142</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">ne</subfield><subfield code="c">XA-NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54.H35 1998</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3 21</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03F03</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-00</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of proof theory</subfield><subfield code="c">ed. by Samuel R. Buss</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">811 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">Studies in logic and the foundations of mathematics</subfield><subfield code="v">137</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Beweistheorie</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">Buss, Samuel R.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in logic and the foundations of mathematics</subfield><subfield code="v">137</subfield><subfield code="w">(DE-604)BV000893472</subfield><subfield code="9">137</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=008328018&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-008328018</subfield></datafield></record></collection> |
| id | DE-604.BV012284142 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:24:55Z |
| institution | BVB |
| isbn | 0444898409 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008328018 |
| oclc_num | 245699769 |
| open_access_boolean | |
| owner | DE-739 DE-703 DE-20 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-739 DE-703 DE-20 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-11 DE-188 |
| physical | 811 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Elsevier |
| record_format | marc |
| series | Studies in logic and the foundations of mathematics |
| series2 | Studies in logic and the foundations of mathematics |
| spelling | Handbook of proof theory ed. by Samuel R. Buss Amsterdam [u.a.] Elsevier 1998 811 S. txt rdacontent n rdamedia nc rdacarrier Studies in logic and the foundations of mathematics 137 Beweistheorie Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s DE-604 Buss, Samuel R. Sonstige oth Studies in logic and the foundations of mathematics 137 (DE-604)BV000893472 137 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008328018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Handbook of proof theory Studies in logic and the foundations of mathematics Beweistheorie Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| title | Handbook of proof theory |
| title_auth | Handbook of proof theory |
| title_exact_search | Handbook of proof theory |
| title_full | Handbook of proof theory ed. by Samuel R. Buss |
| title_fullStr | Handbook of proof theory ed. by Samuel R. Buss |
| title_full_unstemmed | Handbook of proof theory ed. by Samuel R. Buss |
| title_short | Handbook of proof theory |
| title_sort | handbook of proof theory |
| topic | Beweistheorie Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweistheorie Proof theory |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008328018&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000893472 |
| work_keys_str_mv | AT busssamuelr handbookofprooftheory |