Holdings: Structural proof theory

Structural proof theory:

Saved in:

Bibliographic Details
Main Authors:	Negri, Sara 1967- (Author), Plato, Jan von 1951- (Author)
Format:	Book
Language:	English
Published:	Cambridge [u.a.] Cambridge Univ. Press 2008
Subjects:	Proof theory Beweistheorie
Online Access:	Inhaltsverzeichnis Inhaltsverzeichnis
Item Description:	Includes bibliographical references and index. - Originally published: 2001
Physical Description:	XVII, 257 S.
ISBN:	9780521068420 9780521793070

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes
Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items