Ways of proof theory:
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Frankfurt, M. [u.a.]
Ontos-Verl.
2010
|
| Schriftenreihe: | Ontos mathematical logic
2 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | 486 S. Ill. |
| ISBN: | 9783868380873 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV036799008 | ||
| 003 | DE-604 | ||
| 005 | 20110712 | ||
| 007 | t | ||
| 008 | 101125s2010 gw a||| |||| 00||| eng d | ||
| 015 | |a 10,N33 |2 dnb | ||
| 015 | |a 10,A37 |2 dnb | ||
| 016 | 7 | |a 1005536511 |2 DE-101 | |
| 020 | |a 9783868380873 |c Pp. : EUR 129.00 (DE), EUR 129.00 (AT) |9 978-3-86838-087-3 | ||
| 024 | 3 | |a 9783868380873 | |
| 035 | |a (OCoLC)724175821 | ||
| 035 | |a (DE-599)DNB1005536511 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-HE | ||
| 049 | |a DE-29 |a DE-11 | ||
| 082 | 0 | |a 511.36 |2 22/ger | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 100 |2 sdnb | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a 510 |2 sdnb | ||
| 245 | 1 | 0 | |a Ways of proof theory |c Ralf Schindler (ed.) |
| 264 | 1 | |a Frankfurt, M. [u.a.] |b Ontos-Verl. |c 2010 | |
| 300 | |a 486 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Ontos mathematical logic |v 2 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2008 |z Münster (Westf) |2 gnd-content | |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Schindler, Ralf |d 1965- |0 (DE-588)120896591 |4 edt | |
| 830 | 0 | |a Ontos mathematical logic |v 2 |w (DE-604)BV036848937 |9 2 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3522293&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=020715242&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-020715242 | |
Datensatz im Suchindex
| _version_ | 1809403772354428928 |
|---|---|
| adam_text |
CONTENTS PREFACE IN WOLFRAM POHLERS *LIFE AND WORK 1 JUSTUS DILLER THE
PROOF THEORY OF CLASSICAL AND CONSTRUCTIVE INDUCTIVE DEFINITIONS. A
FORTY YEAR SAGA, 1968 - 2008 7 SOLOMON FEFERMAN A NEW APPROACH TO
PREDICATIVE SET THEORY 31 ARNON AVRON CHARACTERISING DEFINABLE SEARCH
PROBLEMS IN BOUNDED ARITHMETIC VIA PROOF NOTATIONS 65 ARNOLD BECKMANN
AND SAMUEL R. BUSS ON TOPOLOGICAL MODELS OF GLP 135 LEV BEKLEMISHEV,
GURAM BEZHANISHVILI, AND THOMAS ICARD PROGRAM EXTRACTION VIA TYPED
REALISABILITY FOR INDUCTION AND COINDUCTION . 157 ULRICH BERGER AND
MONIKA SEISENBERGER ANOTHER REDUCTION OF CLASSICAL ID* TO CONSTRUCTIVE
IDJ, 183 WILFRIED BUCHHOLZ ELEMENTARY CONSTRUCTIVE OPERATIONAL SET
THEORY 199 ANDREA CANTINI AND LAURA CROSILLA FUNCTIONAL INTERPRETATIONS
OF CLASSICAL SYSTEMS 241 JUSTUS DILLER TOWARDS A FORMAL THEORY OF
COMPUTABILITY 257 SIMON HUBER, BASIL A. KARADAIS, AND HELMUT
SCHWICHTENBERG T,\ CHOICE IN A THEORY OF SETS AND CLASSES 283 GERHARD
JAEGER AND JUERG KRAEHENBUEHL BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1005536511 DIGITALISIERT DURCH AN EXTENDED PREDICATIVE
DEFINITION OF THE MAHLO UNIVERSE 315 REINHARD KAHLE AND ANTON SETZER
ITTMS WITH FEEDBACK 341 ROBERT S. LUBARSKY LOGSPACE WITHOUT BOUNDS 355
ISABEL OITAVEM INVESTIGATIONS OF SUBSYSTEMS OF SECOND ORDER ARITHMETIC
AND SET THEORY IN STRENGTH BETWEEN U\-CA AND A^-CA + BI: PART 1 363
MICHAEL RATHJEN WEAK THEORIES OF OPERATIONS AND TYPES 441 THOMAS STRAHM
COMPUTING BOUNDS FROM ARITHMETICAL PROOFS 469 STANLEY S. WAINER |
| any_adam_object | 1 |
| author2 | Schindler, Ralf 1965- |
| author2_role | edt |
| author2_variant | r s rs |
| author_GND | (DE-588)120896591 |
| author_facet | Schindler, Ralf 1965- |
| building | Verbundindex |
| bvnumber | BV036799008 |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)724175821 (DE-599)DNB1005536511 |
| 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 Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV036799008</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110712</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">101125s2010 gw a||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N33</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,A37</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1005536511</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783868380873</subfield><subfield code="c">Pp. : EUR 129.00 (DE), EUR 129.00 (AT)</subfield><subfield code="9">978-3-86838-087-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783868380873</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)724175821</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1005536511</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-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</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">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ways of proof theory</subfield><subfield code="c">Ralf Schindler (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt, M. [u.a.]</subfield><subfield code="b">Ontos-Verl.</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">486 S.</subfield><subfield code="b">Ill.</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">Ontos mathematical logic</subfield><subfield code="v">2</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2008</subfield><subfield code="z">Münster (Westf)</subfield><subfield code="2">gnd-content</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">Schindler, Ralf</subfield><subfield code="d">1965-</subfield><subfield code="0">(DE-588)120896591</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Ontos mathematical logic</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV036848937</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3522293&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020715242&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020715242</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2008 Münster (Westf) gnd-content |
| genre_facet | Konferenzschrift 2008 Münster (Westf) |
| id | DE-604.BV036799008 |
| illustrated | Illustrated |
| indexdate | 2024-09-06T00:18:24Z |
| institution | BVB |
| isbn | 9783868380873 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020715242 |
| oclc_num | 724175821 |
| open_access_boolean | |
| owner | DE-29 DE-11 |
| owner_facet | DE-29 DE-11 |
| physical | 486 S. Ill. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Ontos-Verl. |
| record_format | marc |
| series | Ontos mathematical logic |
| series2 | Ontos mathematical logic |
| spelling | Ways of proof theory Ralf Schindler (ed.) Frankfurt, M. [u.a.] Ontos-Verl. 2010 486 S. Ill. txt rdacontent n rdamedia nc rdacarrier Ontos mathematical logic 2 Literaturangaben Beweistheorie (DE-588)4145177-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Münster (Westf) gnd-content Beweistheorie (DE-588)4145177-6 s DE-604 Schindler, Ralf 1965- (DE-588)120896591 edt Ontos mathematical logic 2 (DE-604)BV036848937 2 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3522293&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020715242&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ways of proof theory Ontos mathematical logic Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)1071861417 |
| title | Ways of proof theory |
| title_auth | Ways of proof theory |
| title_exact_search | Ways of proof theory |
| title_full | Ways of proof theory Ralf Schindler (ed.) |
| title_fullStr | Ways of proof theory Ralf Schindler (ed.) |
| title_full_unstemmed | Ways of proof theory Ralf Schindler (ed.) |
| title_short | Ways of proof theory |
| title_sort | ways of proof theory |
| topic | Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweistheorie Konferenzschrift 2008 Münster (Westf) |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3522293&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020715242&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV036848937 |
| work_keys_str_mv | AT schindlerralf waysofprooftheory |