Proof theory: a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990]
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge Univ. Press
1992
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Logic for IT
|
| Schlagworte: | |
| Beschreibung: | X, 306 S. |
| ISBN: | 052141413X |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV007925696 | ||
| 003 | DE-604 | ||
| 005 | 20080808 | ||
| 007 | t | ||
| 008 | 930624s1992 |||| 10||| eng d | ||
| 020 | |a 052141413X |9 0-521-41413-X | ||
| 035 | |a (OCoLC)260194628 | ||
| 035 | |a (DE-599)BVBBV007925696 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-12 |a DE-29T |a DE-19 |a DE-11 | ||
| 084 | |a SD 1990 |0 (DE-625)142724: |2 rvk | ||
| 084 | |a ST 120 |0 (DE-625)143585: |2 rvk | ||
| 084 | |a PHI 390f |2 stub | ||
| 084 | |a MAT 036f |2 stub | ||
| 245 | 1 | 0 | |a Proof theory |b a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] |c ed. by Peter Aczel ... |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge |b Cambridge Univ. Press |c 1992 | |
| 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 | |
| 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 | |
| 711 | 2 | |a Leeds Proof Theory Programme |d 1990 |j Sonstige |0 (DE-588)16128501-6 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005237941 | ||
Datensatz im Suchindex
| _version_ | 1804122332823814144 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)151543925 |
| building | Verbundindex |
| bvnumber | BV007925696 |
| classification_rvk | SD 1990 ST 120 |
| classification_tum | PHI 390f MAT 036f |
| ctrlnum | (OCoLC)260194628 (DE-599)BVBBV007925696 |
| discipline | Informatik Mathematik Philosophie / Ethik |
| 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>01536nam a2200397 c 4500</leader><controlfield tag="001">BV007925696</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080808 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930624s1992 |||| 10||| eng 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)BVBBV007925696</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="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</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">PHI 390f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 036f</subfield><subfield code="2">stub</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 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 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</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">1992</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="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="711" ind1="2" ind2=" "><subfield code="a">Leeds Proof Theory Programme</subfield><subfield code="d">1990</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16128501-6</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005237941</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.BV007925696 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:12:12Z |
| institution | BVB |
| institution_GND | (DE-588)16128501-6 |
| isbn | 052141413X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005237941 |
| oclc_num | 260194628 |
| open_access_boolean | |
| owner | DE-739 DE-12 DE-29T DE-19 DE-BY-UBM DE-11 |
| owner_facet | DE-739 DE-12 DE-29T DE-19 DE-BY-UBM DE-11 |
| physical | X, 306 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| series2 | Logic for IT |
| spelling | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] ed. by Peter Aczel ... 1. publ. Cambridge Cambridge Univ. Press 1992 X, 306 S. txt rdacontent n rdamedia nc rdacarrier Logic for IT 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 Leeds Proof Theory Programme 1990 Sonstige (DE-588)16128501-6 oth |
| spellingShingle | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 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 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] |
| title_auth | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] |
| title_exact_search | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] |
| title_full | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] ed. by Peter Aczel ... |
| title_fullStr | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] ed. by Peter Aczel ... |
| title_full_unstemmed | Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] ed. by Peter Aczel ... |
| title_short | Proof theory |
| title_sort | proof theory a selection of papers from the leeds proof theory programme 1990 papers presented at an international summer school and conference on proof theory held at bodington hall leeds university between 24th july and 2nd august 1990 |
| title_sub | a selection of papers from the Leeds Proof Theory Programme 1990 ; [... papers presented at an international Summer School and Conference on Proof Theory held at Bodington Hall, Leeds University between 24th July and 2nd August 1990] |
| topic | Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Beweistheorie Aufsatzsammlung Konferenzschrift |
| work_keys_str_mv | AT aczelpeter prooftheoryaselectionofpapersfromtheleedsprooftheoryprogramme1990paperspresentedataninternationalsummerschoolandconferenceonprooftheoryheldatbodingtonhallleedsuniversitybetween24thjulyand2ndaugust1990 AT leedsprooftheoryprogramme prooftheoryaselectionofpapersfromtheleedsprooftheoryprogramme1990paperspresentedataninternationalsummerschoolandconferenceonprooftheoryheldatbodingtonhallleedsuniversitybetween24thjulyand2ndaugust1990 |