Proof theory: a selection of papers from the Leeds Proof Theory Programme 1990
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | Undetermined |
| Published: |
Cambridge u.a.
Cambridge Univ. Press
1993
|
| Edition: | 1. publ. |
| Series: | Logic for IT
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | X, 306 S. |
| ISBN: | 052141413X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008028910 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930713s1993 |||| 10||| und d | ||
| 020 | |a 052141413X |9 0-521-41413-X | ||
| 035 | |a (OCoLC)260194628 | ||
| 035 | |a (DE-599)BVBBV008028910 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91G | ||
| 084 | |a SD 1990 |0 (DE-625)142724: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a MAT 036f |2 stub | ||
| 111 | 2 | |a Leeds Proof Theory Programme |d 1990 |j Verfasser |0 (DE-588)16128501-6 |4 aut | |
| 245 | 1 | 0 | |a Proof theory |b a selection of papers from the Leeds Proof Theory Programme 1990 |c ed. by Peter Aczel ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge u.a. |b Cambridge Univ. Press |c 1993 | |
| 300 | |a X, 306 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic for IT | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Aczel, Peter |d 1941-2023 |e Sonstige |0 (DE-588)151543925 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283122&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005283122 | ||
Record in the Search Index
| _version_ | 1804122393331892224 |
|---|---|
| adam_text | CONTENTS
Preface vii
Programme of lectures
ix
S.
WAINER and L.
WALLEN
Basic proof theory
1
W.
POHLERS
A short course in ordinal analysis
27
H. SCHWICHTENBERG
Proofs as programs
79
W.
BUCHHOLZ
A simplified version of local predicativity
115
S. BUSS
A note on bootstrapping
intuitionistic
bounded arithmetic
149
E. CICHON
Termination
orderings
and complexity characterisations
171
S. FEFERMAN
Logics for termination and correctness of functional programs, II.
Logics of strength
PRA
195
D.
HOWE
Reflecting the semantics of reflected proof
227
M. RATHJEN
Fragments of Kripke-Platek set theory with infinity
251
J. TUCKER and J.
ZUCKER
Provable computable selection functions on abstract structures
275
|
| any_adam_object | 1 |
| author_GND | (DE-588)151543925 |
| author_corporate | Leeds Proof Theory Programme |
| author_corporate_role | aut |
| author_facet | Leeds Proof Theory Programme |
| author_sort | Leeds Proof Theory Programme |
| building | Verbundindex |
| bvnumber | BV008028910 |
| classification_rvk | SD 1990 ST 120 |
| classification_tum | MAT 036f |
| ctrlnum | (OCoLC)260194628 (DE-599)BVBBV008028910 |
| discipline | Informatik Mathematik |
| edition | 1. publ. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01600nam a2200409 c 4500</leader><controlfield tag="001">BV008028910</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930713s1993 |||| 10||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">052141413X</subfield><subfield code="9">0-521-41413-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)260194628</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008028910</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1990</subfield><subfield code="0">(DE-625)142724:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</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="111" ind1="2" ind2=" "><subfield code="a">Leeds Proof Theory Programme</subfield><subfield code="d">1990</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16128501-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof theory</subfield><subfield code="b">a selection of papers from the Leeds Proof Theory Programme 1990</subfield><subfield code="c">ed. by Peter Aczel ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge u.a.</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 306 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">Logic for IT</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)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</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">Aczel, Peter</subfield><subfield code="d">1941-2023</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)151543925</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=005283122&sequence=000002&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-005283122</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV008028910 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:13:10Z |
| institution | BVB |
| institution_GND | (DE-588)16128501-6 |
| isbn | 052141413X |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005283122 |
| oclc_num | 260194628 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | X, 306 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series2 | Logic for IT |
| spelling | Leeds Proof Theory Programme 1990 Verfasser (DE-588)16128501-6 aut Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ed. by Peter Aczel ... 1. publ. Cambridge u.a. Cambridge Univ. Press 1993 X, 306 S. txt rdacontent n rdamedia nc rdacarrier Logic for IT Literaturangaben Beweistheorie (DE-588)4145177-6 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Beweistheorie (DE-588)4145177-6 s DE-604 Aczel, Peter 1941-2023 Sonstige (DE-588)151543925 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283122&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 |
| title_auth | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 |
| title_exact_search | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 |
| title_full | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ed. by Peter Aczel ... |
| title_fullStr | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ed. by Peter Aczel ... |
| title_full_unstemmed | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ed. by Peter Aczel ... |
| title_short | Proof theory |
| title_sort | proof theory a selection of papers from the leeds proof theory programme 1990 |
| title_sub | a selection of papers from the Leeds Proof Theory Programme 1990 |
| topic | Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweistheorie Aufsatzsammlung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283122&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT leedsprooftheoryprogramme prooftheoryaselectionofpapersfromtheleedsprooftheoryprogramme1990 AT aczelpeter prooftheoryaselectionofpapersfromtheleedsprooftheoryprogramme1990 |