Advances in proof-theoretic semantics:
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham ; Heidelberg ; New York ; Dordrecht ; London
Springer Open
[2016]
|
| Schriftenreihe: | Trends in logic
volume 43 |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online Ressource (vi, 283 Seiten) |
| ISBN: | 9783319226866 |
| DOI: | 10.1007/978-3-319-22686-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043212006 | ||
| 003 | DE-604 | ||
| 005 | 20210426 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319226866 |c Online |9 978-3-319-22686-6 | ||
| 024 | 7 | |a 10.1007/978-3-319-22686-6 |2 doi | |
| 035 | |a (ZDB-2-SMA)9783319226866 | ||
| 035 | |a (ZDB-94-OAB)DOAB19128 | ||
| 035 | |a (OCoLC)944058741 | ||
| 035 | |a (DE-599)BVBBV043212006 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-634 |a DE-210 |a DE-521 |a DE-1102 |a DE-1046 |a DE-1028 |a DE-1050 |a DE-573 |a DE-M347 |a DE-92 |a DE-1051 |a DE-898 |a DE-859 |a DE-860 |a DE-1049 |a DE-861 |a DE-863 |a DE-862 |a DE-Re13 |a DE-Y3 |a DE-255 |a DE-Y7 |a DE-Y2 |a DE-70 |a DE-2174 |a DE-127 |a DE-22 |a DE-155 |a DE-83 |a DE-91 |a DE-384 |a DE-473 |a DE-19 |a DE-355 |a DE-703 |a DE-20 |a DE-706 |a DE-824 |a DE-29 |a DE-739 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Advances in proof-theoretic semantics |c Thomas Piecha, Peter Schroeder-Heister, editors |
| 264 | 1 | |a Cham ; Heidelberg ; New York ; Dordrecht ; London |b Springer Open |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online Ressource (vi, 283 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Trends in logic |v volume 43 | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 2 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Piecha, Thomas |0 (DE-588)1081844205 |4 edt | |
| 700 | 1 | |a Schroeder-Heister, Peter |d 1953- |0 (DE-588)112409156 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-22685-9 |w (DE-604)BV047255239 |
| 830 | 0 | |a Trends in logic |v volume 43 |w (DE-604)BV043326888 |9 43 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-22686-6 |x Verlag |z kostenfrei |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635144&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SMA |a ZDB-94-OAB | ||
| 940 | 1 | |q ZDB-2-SMA_2016 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028635144 | |
Datensatz im Suchindex
| _version_ | 1813306327916609536 |
|---|---|
| adam_text |
ADVANCES IN PROOF-THEORETIC SEMANTICS
/
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
CHAPTER 1. INTRODUCTION; THOMAS PIECHA & PETER-SCHROEDER-HEISTER
CHAPTER 2. ON BROUWER-HEYTING-KOLMOGOROV PROVABILITY SEMANTICS; SERGEI
N. ARTEMOV
CHAPTER 3. TWO WAYS OF GENERAL PROOF THEORY; KOSTA DOSEN
CHAPTER 4. GENERALISED ELIMINATION RULES; ROY DYCKHOFF
CHAPTER 5. ON THE PROOF THEORETIC FOUNDATIONS OF SET THEORY; LARS
HALLNAES
CHAPTER 6. THE CHOICE OF SEMANTICS AS A METHODOLOGICAL QUESTION; WILFRID
HODGES
CHAPTER 7. THE MODE OF PRESENTATION; REINHARD KAHLE
CHAPTER 8. REMARKS ON RELATIONS BETWEEN GENTZEN AND HEYTING INSPIRED
PTS; DAG PRAWITZ
CHAPTER 9. UNIFICATION OF LOGICS BY REFLECTION; GIOVANNI SAMBIN
CHAPTER 10. BHK AND BROUWER'S THEORY OF THE CREATIVE SUBJECT; GOERAN
SUNDHOLM
CHAPTER 11. COMPOSITIONAL SEMANTICS FOR PREDICATE LOGIC: ELIMINATING
BOUND VARIABLES FROM FORMULAS AND DEDUCTIONS; WILLIAM W. TAIT
CHAPTER 12. INTUITIONISM, THE PARADOX OF KNOWABILITY AND EMPIRICAL
NEGATION; GABRIELE USBERTI
CHAPTER 13. EXPLICIT COMPOSITION AND ITS APPLICATION IN NORMALIZATION
PROOFS; JAN VON PLATO
CHAPTER 14. A TWO-SORTED TYPED LAMBDA-CALCULUS; HEINRICH WANSING
CHAPTER 15. KREISEL'S SECOND CLAUSE AND THE THEORY OF CONSTRUCTIONS;
WALTER DEAN & HIDENORI KUROKAWA
CHAPTER 16. ON PARADOXES IN PROOF-THEORETIC SEMANTICS; YOSHIHIRO
MARUYAMA
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
ADVANCES IN PROOF-THEORETIC SEMANTICS
/
: 2016
ABSTRACT / INHALTSTEXT
THIS VOLUME IS THE FIRST EVER COLLECTION DEVOTED TO THE FIELD OF
PROOF-THEORETIC SEMANTICS. CONTRIBUTIONS ADDRESS TOPICS INCLUDING THE
SYSTEMATICS OF INTRODUCTION AND ELIMINATION RULES AND PROOFS OF
NORMALIZATION, THE CATEGORIAL CHARACTERIZATION OF DEDUCTIONS, THE
RELATION BETWEEN HEYTING'S AND GENTZEN'S APPROACHES TO MEANING,
KNOWABILITY PARADOXES, PROOF-THEORETIC FOUNDATIONS OF SET THEORY,
DUMMETT'S JUSTIFICATION OF LOGICAL LAWS, KREISEL'S THEORY OF
CONSTRUCTIONS, PARADOXICAL REASONING, AND THE DEFENCE OF MODEL THEORY.
THE FIELD OF PROOF-THEORETIC SEMANTICS HAS EXISTED FOR ALMOST 50 YEARS,
BUT THE TERM ITSELF WAS PROPOSED BY SCHROEDER-HEISTER IN THE 1980S.
PROOF-THEORETIC SEMANTICS EXPLAINS THE MEANING OF LINGUISTIC EXPRESSIONS
IN GENERAL AND OF LOGICAL CONSTANTS IN PARTICULAR IN TERMS OF THE NOTION
OF PROOF. THIS VOLUME EMERGES FROM PRESENTATIONS AT THE SECOND
INTERNATIONAL CONFERENCE ON PROOF-THEORETIC SEMANTICS IN TUEBINGEN IN
2013, WHERE CONTRIBUTING AUTHORS WERE ASKED TO PROVIDE A SELF-CONTAINED
DESCRIPTION AND ANALYSIS OF A SIGNIFICANT RESEARCH QUESTION IN THIS
AREA. THE CONTRIBUTIONS ARE REPRESENTATIVE OF THE FIELD AND SHOULD BE OF
INTEREST TO LOGICIANS, PHILOSOPHERS, AND MATHEMATICIANS ALIKE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author2 | Piecha, Thomas Schroeder-Heister, Peter 1953- |
| author2_role | edt edt |
| author2_variant | t p tp p s h psh |
| author_GND | (DE-588)1081844205 (DE-588)112409156 |
| author_facet | Piecha, Thomas Schroeder-Heister, Peter 1953- |
| building | Verbundindex |
| bvnumber | BV043212006 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-94-OAB |
| ctrlnum | (ZDB-2-SMA)9783319226866 (ZDB-94-OAB)DOAB19128 (OCoLC)944058741 (DE-599)BVBBV043212006 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-3-319-22686-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zcb4500</leader><controlfield tag="001">BV043212006</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210426</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319226866</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-22686-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-22686-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)9783319226866</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-94-OAB)DOAB19128</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)944058741</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043212006</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-1102</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1028</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-1051</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1049</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-Re13</subfield><subfield code="a">DE-Y3</subfield><subfield code="a">DE-255</subfield><subfield code="a">DE-Y7</subfield><subfield code="a">DE-Y2</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-2174</subfield><subfield code="a">DE-127</subfield><subfield code="a">DE-22</subfield><subfield code="a">DE-155</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in proof-theoretic semantics</subfield><subfield code="c">Thomas Piecha, Peter Schroeder-Heister, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham ; Heidelberg ; New York ; Dordrecht ; London</subfield><subfield code="b">Springer Open</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (vi, 283 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">volume 43</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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">Piecha, Thomas</subfield><subfield code="0">(DE-588)1081844205</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schroeder-Heister, Peter</subfield><subfield code="d">1953-</subfield><subfield code="0">(DE-588)112409156</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-319-22685-9</subfield><subfield code="w">(DE-604)BV047255239</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in logic</subfield><subfield code="v">volume 43</subfield><subfield code="w">(DE-604)BV043326888</subfield><subfield code="9">43</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-22686-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028635144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028635144&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-94-OAB</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2016</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028635144</subfield></datafield></record></collection> |
| id | DE-604.BV043212006 |
| illustrated | Not Illustrated |
| indexdate | 2024-10-19T04:07:52Z |
| institution | BVB |
| isbn | 9783319226866 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028635144 |
| oclc_num | 944058741 |
| open_access_boolean | 1 |
| owner | DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-1028 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-83 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 |
| owner_facet | DE-12 DE-634 DE-210 DE-521 DE-1102 DE-1046 DE-1028 DE-1050 DE-573 DE-M347 DE-92 DE-1051 DE-898 DE-BY-UBR DE-859 DE-860 DE-1049 DE-861 DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-Re13 DE-BY-UBR DE-Y3 DE-255 DE-Y7 DE-Y2 DE-70 DE-2174 DE-127 DE-22 DE-BY-UBG DE-155 DE-BY-UBR DE-83 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-20 DE-706 DE-824 DE-29 DE-739 |
| physical | 1 Online Ressource (vi, 283 Seiten) |
| psigel | ZDB-2-SMA ZDB-94-OAB ZDB-2-SMA_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer Open |
| record_format | marc |
| series | Trends in logic |
| series2 | Trends in logic |
| spellingShingle | Advances in proof-theoretic semantics Trends in logic Philosophy Logic Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Philosophie Mathematische Logik (DE-588)4037951-6 gnd Beweistheorie (DE-588)4145177-6 gnd Formale Semantik (DE-588)4122144-8 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4145177-6 (DE-588)4122144-8 |
| title | Advances in proof-theoretic semantics |
| title_auth | Advances in proof-theoretic semantics |
| title_exact_search | Advances in proof-theoretic semantics |
| title_full | Advances in proof-theoretic semantics Thomas Piecha, Peter Schroeder-Heister, editors |
| title_fullStr | Advances in proof-theoretic semantics Thomas Piecha, Peter Schroeder-Heister, editors |
| title_full_unstemmed | Advances in proof-theoretic semantics Thomas Piecha, Peter Schroeder-Heister, editors |
| title_short | Advances in proof-theoretic semantics |
| title_sort | advances in proof theoretic semantics |
| topic | Philosophy Logic Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Philosophie Mathematische Logik (DE-588)4037951-6 gnd Beweistheorie (DE-588)4145177-6 gnd Formale Semantik (DE-588)4122144-8 gnd |
| topic_facet | Philosophy Logic Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Philosophie Mathematische Logik Beweistheorie Formale Semantik |
| url | https://doi.org/10.1007/978-3-319-22686-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635144&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV043326888 |
| work_keys_str_mv | AT piechathomas advancesinprooftheoreticsemantics AT schroederheisterpeter advancesinprooftheoreticsemantics |