Structural proof theory:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2008
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index. - Originally published: 2001 |
| Beschreibung: | XVII, 257 S. |
| ISBN: | 9780521068420 9780521793070 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036552826 | ||
| 003 | DE-604 | ||
| 005 | 20100831 | ||
| 007 | t | ||
| 008 | 100707s2008 |||| 00||| eng d | ||
| 020 | |a 9780521068420 |c (pbk) : £19.99 |9 978-0-521-06842-0 | ||
| 020 | |a 9780521793070 |9 978-0-521-79307-0 | ||
| 035 | |a (OCoLC)705650307 | ||
| 035 | |a (DE-599)GBV564795682 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-19 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Negri, Sara |d 1967- |e Verfasser |0 (DE-588)173487084 |4 aut | |
| 245 | 1 | 0 | |a Structural proof theory |c Sara Negri ; Jan von Plato. With an appendix by Aarne Ranta |
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2008 | |
| 300 | |a XVII, 257 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references and index. - Originally published: 2001 | ||
| 650 | 0 | |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 Plato, Jan von |d 1951- |e Verfasser |0 (DE-588)171423615 |4 aut | |
| 700 | 1 | |a Ranta, Aarne |e Sonstige |4 oth | |
| 856 | 4 | |m DE-601 |q pdf/application |u http://www.gbv.de/dms/bowker/toc/9780521068420.pdf |3 Inhaltsverzeichnis | |
| 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=020474339&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020474339 | ||
Datensatz im Suchindex
| _version_ | 1804143126581870592 |
|---|---|
| adam_text | IMAGE 1
INTRODUCTION
FROM NATURAL DEDUCTION TO SEQUENT CALCULUS SEQUENT CALCULUS FOR
INSTITUTIONISTIC LOGIC SEQUENT CALCULUS FOR CLASSICAL LOGIC THE
QUANTIFIERS VARIANTS OF SEQUENT CALCULI STRUCTURAL PROOF ANALYSIS OF
AXIOMATIC THEORIES INTERMEDIATE LOGICAL SYSTEMS BACK TO NATURAL
DEDUCTION CONCLUSION: DIVERSITY AND UNITY IN STRUCTURAL PROOF THEORY
SIMPLE TYPE THEORY AND CATEGORICAL GRAMMAR PROOF THEORY AND CONSTRUCTIVE
TYPE THEORY A PROOF EDITOR FOR SEQUENT CALCULUS TABLE OF CONTENTS
PROVIDED BY BLACKWELL S BOOK SERVICES AND R.R. BOWKER. USED WITH
PERMISSION.
|
| any_adam_object | 1 |
| author | Negri, Sara 1967- Plato, Jan von 1951- |
| author_GND | (DE-588)173487084 (DE-588)171423615 |
| author_facet | Negri, Sara 1967- Plato, Jan von 1951- |
| author_role | aut aut |
| author_sort | Negri, Sara 1967- |
| author_variant | s n sn j v p jv jvp |
| building | Verbundindex |
| bvnumber | BV036552826 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)705650307 (DE-599)GBV564795682 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01613nam a2200385 c 4500</leader><controlfield tag="001">BV036552826</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100831 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100707s2008 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521068420</subfield><subfield code="c">(pbk) : £19.99</subfield><subfield code="9">978-0-521-06842-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521793070</subfield><subfield code="9">978-0-521-79307-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705650307</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV564795682</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-355</subfield><subfield code="a">DE-19</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="100" ind1="1" ind2=" "><subfield code="a">Negri, Sara</subfield><subfield code="d">1967-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)173487084</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Structural proof theory</subfield><subfield code="c">Sara Negri ; Jan von Plato. With an appendix by Aarne Ranta</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">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 257 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="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index. - Originally published: 2001</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><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">Plato, Jan von</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)171423615</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ranta, Aarne</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="m">DE-601</subfield><subfield code="q">pdf/application</subfield><subfield code="u">http://www.gbv.de/dms/bowker/toc/9780521068420.pdf</subfield><subfield code="3">Inhaltsverzeichnis</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=020474339&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-020474339</subfield></datafield></record></collection> |
| id | DE-604.BV036552826 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:42:42Z |
| institution | BVB |
| isbn | 9780521068420 9780521793070 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020474339 |
| oclc_num | 705650307 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-19 DE-BY-UBM |
| owner_facet | DE-355 DE-BY-UBR DE-19 DE-BY-UBM |
| physical | XVII, 257 S. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Negri, Sara 1967- Verfasser (DE-588)173487084 aut Structural proof theory Sara Negri ; Jan von Plato. With an appendix by Aarne Ranta Cambridge [u.a.] Cambridge Univ. Press 2008 XVII, 257 S. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references and index. - Originally published: 2001 Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s DE-604 Plato, Jan von 1951- Verfasser (DE-588)171423615 aut Ranta, Aarne Sonstige oth DE-601 pdf/application http://www.gbv.de/dms/bowker/toc/9780521068420.pdf Inhaltsverzeichnis GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020474339&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Negri, Sara 1967- Plato, Jan von 1951- Structural proof theory Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| subject_GND | (DE-588)4145177-6 |
| title | Structural proof theory |
| title_auth | Structural proof theory |
| title_exact_search | Structural proof theory |
| title_full | Structural proof theory Sara Negri ; Jan von Plato. With an appendix by Aarne Ranta |
| title_fullStr | Structural proof theory Sara Negri ; Jan von Plato. With an appendix by Aarne Ranta |
| title_full_unstemmed | Structural proof theory Sara Negri ; Jan von Plato. With an appendix by Aarne Ranta |
| title_short | Structural proof theory |
| title_sort | structural proof theory |
| topic | Proof theory Beweistheorie (DE-588)4145177-6 gnd |
| topic_facet | Proof theory Beweistheorie |
| url | http://www.gbv.de/dms/bowker/toc/9780521068420.pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020474339&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT negrisara structuralprooftheory AT platojanvon structuralprooftheory AT rantaaarne structuralprooftheory |
Es ist kein Print-Exemplar vorhanden.
Inhaltsverzeichnis