Verfügbarkeit: Proof theory :: THWS Bibkatalog

Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Leeds Proof Theory Programme <1990, Leeds University> (VerfasserIn)
Weitere Verfasser:	Aczel, Peter 1941- (HerausgeberIn), Simmons, Harold (HerausgeberIn), Wainer, S. S. (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge Cambridge University Press 1993
Schlagworte:	Proof theory Beweistheorie Aufsatzsammlung Konferenzschrift
Online-Zugang:	BSB01 FHN01 Volltext
Zusammenfassung:	The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists
Beschreibung:	Title from publisher's bibliographic system (viewed on 24 Feb 2016)
Beschreibung:	1 online resource (x, 306 pages)
ISBN:	9780511896262
DOI:	10.1017/CBO9780511896262

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043946066
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	161206s1993 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9780511896262 \|c Online \|9 978-0-511-89626-2
024	7		\|a 10.1017/CBO9780511896262 \|2 doi
035			\|a (ZDB-20-CBO)CR9780511896262
035			\|a (OCoLC)992843832
035			\|a (DE-599)BVBBV043946066
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-12 \|a DE-92
082	0		\|a 511.3 \|2 20
084			\|a CC 3200 \|0 (DE-625)17614: \|2 rvk
084			\|a SD 1990 \|0 (DE-625)142724: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
110	2		\|a Leeds Proof Theory Programme <1990, Leeds University> \|e Verfasser \|4 aut
245	1	0	\|a Proof theory \|b a selection of papers from the Leeds Proof Theory Programme, 1990 \|c edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
264		1	\|a Cambridge \|b Cambridge University Press \|c 1993
300			\|a 1 online resource (x, 306 pages)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a Title from publisher's bibliographic system (viewed on 24 Feb 2016)
505	8		\|a Basic proof theory / S. Wainer and L. Wallen -- A short course in ordinal analysis / W. Pohlers -- Proofs as programs / H. Schwichtenberg -- A simplified version of local predicativity / W. Bucholz -- A note on bootstrapping intuitionistic bounded arithmetic / S. Buss -- Termination orderings and complexity characterisations / E. Cichon -- Logics for termination and correctness of functional programs, II. Logics of strength PRA / S. Feferman -- Reflecting the semantics of reflected proof / D. Howe -- Fragments of Kripke-Platek set theory with infinity / Michael Rathjen -- Provable computable selection functions on abstract structures / J. Tucker and J. Zucker
520			\|a The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists
650		4	\|a Proof theory
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
655		7	\|8 2\p \|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0		\|8 3\p \|5 DE-604
700	1		\|a Aczel, Peter \|d 1941- \|4 edt
700	1		\|a Simmons, Harold \|4 edt
700	1		\|a Wainer, S. S. \|4 edt
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-0-521-05416-4
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-0-521-41413-5
856	4	0	\|u https://doi.org/10.1017/CBO9780511896262 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-20-CBO
999			\|a oai:aleph.bib-bvb.de:BVB01-029355037
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
966	e		\|u https://doi.org/10.1017/CBO9780511896262 \|l BSB01 \|p ZDB-20-CBO \|q BSB_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9780511896262 \|l FHN01 \|p ZDB-20-CBO \|q FHN_PDA_CBO \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804176892997140480
any_adam_object
author2	Aczel, Peter 1941- Simmons, Harold Wainer, S. S.
author2_role	edt edt edt
author2_variant	p a pa h s hs s s w ss ssw
author_corporate	Leeds Proof Theory Programme <1990, Leeds University>
author_corporate_role	aut
author_facet	Aczel, Peter 1941- Simmons, Harold Wainer, S. S. Leeds Proof Theory Programme <1990, Leeds University>
author_sort	Leeds Proof Theory Programme <1990, Leeds University>
building	Verbundindex
bvnumber	BV043946066
classification_rvk	CC 3200 SD 1990 ST 120
collection	ZDB-20-CBO
contents	Basic proof theory / S. Wainer and L. Wallen -- A short course in ordinal analysis / W. Pohlers -- Proofs as programs / H. Schwichtenberg -- A simplified version of local predicativity / W. Bucholz -- A note on bootstrapping intuitionistic bounded arithmetic / S. Buss -- Termination orderings and complexity characterisations / E. Cichon -- Logics for termination and correctness of functional programs, II. Logics of strength PRA / S. Feferman -- Reflecting the semantics of reflected proof / D. Howe -- Fragments of Kripke-Platek set theory with infinity / Michael Rathjen -- Provable computable selection functions on abstract structures / J. Tucker and J. Zucker
ctrlnum	(ZDB-20-CBO)CR9780511896262 (OCoLC)992843832 (DE-599)BVBBV043946066
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik Philosophie
doi_str_mv	10.1017/CBO9780511896262
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03470nmm a2200577zc 4500</leader><controlfield tag="001">BV043946066</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">161206s1993 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511896262</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-89626-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511896262</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511896262</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)992843832</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043946066</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-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 3200</subfield><subfield code="0">(DE-625)17614:</subfield><subfield code="2">rvk</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="110" ind1="2" ind2=" "><subfield code="a">Leeds Proof Theory Programme <1990, Leeds University></subfield><subfield code="e">Verfasser</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">edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 306 pages)</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="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 24 Feb 2016)</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Basic proof theory / S. Wainer and L. Wallen -- A short course in ordinal analysis / W. Pohlers -- Proofs as programs / H. Schwichtenberg -- A simplified version of local predicativity / W. Bucholz -- A note on bootstrapping intuitionistic bounded arithmetic / S. Buss -- Termination orderings and complexity characterisations / E. Cichon -- Logics for termination and correctness of functional programs, II. Logics of strength PRA / S. Feferman -- Reflecting the semantics of reflected proof / D. Howe -- Fragments of Kripke-Platek set theory with infinity / Michael Rathjen -- Provable computable selection functions on abstract structures / J. Tucker and J. Zucker</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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="8">2\p</subfield><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="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Aczel, Peter</subfield><subfield code="d">1941-</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Simmons, Harold</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wainer, S. S.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-05416-4</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-41413-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511896262</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029355037</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511896262</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511896262</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content 2\p (DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Aufsatzsammlung Konferenzschrift
id	DE-604.BV043946066
illustrated	Not Illustrated
indexdate	2024-07-10T07:39:25Z
institution	BVB
isbn	9780511896262
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029355037
oclc_num	992843832
open_access_boolean
owner	DE-12 DE-92
owner_facet	DE-12 DE-92
physical	1 online resource (x, 306 pages)
psigel	ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	Cambridge University Press
record_format	marc
spelling	Leeds Proof Theory Programme <1990, Leeds University> Verfasser aut Proof theory a selection of papers from the Leeds Proof Theory Programme, 1990 edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer Cambridge Cambridge University Press 1993 1 online resource (x, 306 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 24 Feb 2016) Basic proof theory / S. Wainer and L. Wallen -- A short course in ordinal analysis / W. Pohlers -- Proofs as programs / H. Schwichtenberg -- A simplified version of local predicativity / W. Bucholz -- A note on bootstrapping intuitionistic bounded arithmetic / S. Buss -- Termination orderings and complexity characterisations / E. Cichon -- Logics for termination and correctness of functional programs, II. Logics of strength PRA / S. Feferman -- Reflecting the semantics of reflected proof / D. Howe -- Fragments of Kripke-Platek set theory with infinity / Michael Rathjen -- Provable computable selection functions on abstract structures / J. Tucker and J. Zucker The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles; put together in this book they form an invaluable introduction to proof theory that is aimed at both mathematicians and computer scientists Proof theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content 2\p (DE-588)1071861417 Konferenzschrift gnd-content Beweistheorie (DE-588)4145177-6 s 3\p DE-604 Aczel, Peter 1941- edt Simmons, Harold edt Wainer, S. S. edt Erscheint auch als Druckausgabe 978-0-521-05416-4 Erscheint auch als Druckausgabe 978-0-521-41413-5 https://doi.org/10.1017/CBO9780511896262 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Proof theory a selection of papers from the Leeds Proof Theory Programme, 1990 Basic proof theory / S. Wainer and L. Wallen -- A short course in ordinal analysis / W. Pohlers -- Proofs as programs / H. Schwichtenberg -- A simplified version of local predicativity / W. Bucholz -- A note on bootstrapping intuitionistic bounded arithmetic / S. Buss -- Termination orderings and complexity characterisations / E. Cichon -- Logics for termination and correctness of functional programs, II. Logics of strength PRA / S. Feferman -- Reflecting the semantics of reflected proof / D. Howe -- Fragments of Kripke-Platek set theory with infinity / Michael Rathjen -- Provable computable selection functions on abstract structures / J. Tucker and J. Zucker Proof theory 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 edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
title_fullStr	Proof theory a selection of papers from the Leeds Proof Theory Programme, 1990 edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
title_full_unstemmed	Proof theory a selection of papers from the Leeds Proof Theory Programme, 1990 edited by Peter Aczel, Harold Simmons, and Stanley S. Wainer
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	Proof theory Beweistheorie (DE-588)4145177-6 gnd
topic_facet	Proof theory Beweistheorie Aufsatzsammlung Konferenzschrift
url	https://doi.org/10.1017/CBO9780511896262
work_keys_str_mv	AT leedsprooftheoryprogramme1990leedsuniversity prooftheoryaselectionofpapersfromtheleedsprooftheoryprogramme1990 AT aczelpeter prooftheoryaselectionofpapersfromtheleedsprooftheoryprogramme1990 AT simmonsharold prooftheoryaselectionofpapersfromtheleedsprooftheoryprogramme1990 AT wainerss prooftheoryaselectionofpapersfromtheleedsprooftheoryprogramme1990

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge