Verfügbarkeit: Advances in proof theory | Technische Universität München

Advances in proof theory:

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Advances in Proof Theory (Veranstaltung) Bern (VerfasserIn)
Weitere beteiligte Personen:	Kahle, Reinhard 1967- (HerausgeberIn), Strahm, Thomas (HerausgeberIn), Studer, Thomas 1972- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	Englisch
Veröffentlicht:	[Cham] Birkhäuser [2016]
Schriftenreihe:	Progress in computer science and applied logic volume 28
Schlagwörter:	Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematik Beweistheorie Konferenzschrift > 2013 > Bern
Links:	https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 https://doi.org/10.1007/978-3-319-29198-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028994195&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=028994195&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	1 Online-Ressource (XII, 425 Seiten, 10 illus)
ISBN:	9783319291987
ISSN:	2297-0576
DOI:	10.1007/978-3-319-29198-7

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV043579522
003	DE-604
005	20220310
007	cr\|uuu---uuuuu
008	160601s2016 xx o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319291987 \|c Online \|9 978-3-319-29198-7
024	7		\|a 10.1007/978-3-319-29198-7 \|2 doi
035			\|a (ZDB-2-SMA)978-3-319-29198-7
035			\|a (OCoLC)951032967
035			\|a (DE-599)BVBBV043579522
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-20 \|a DE-739 \|a DE-634 \|a DE-898 \|a DE-861 \|a DE-703 \|a DE-824 \|a DE-83
082	0		\|a 511.3 \|2 23
084			\|a MAT 000 \|2 stub
111	2		\|a Advances in Proof Theory (Veranstaltung) \|d 2013 \|c Bern \|j Verfasser \|0 (DE-588)1102558753 \|4 aut
245	1	0	\|a Advances in proof theory \|c Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
264		1	\|a [Cham] \|b Birkhäuser \|c [2016]
264		4	\|c © 2016
300			\|a 1 Online-Ressource (XII, 425 Seiten, 10 illus)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Progress in computer science and applied logic \|v volume 28 \|x 2297-0576
650		4	\|a Mathematics
650		4	\|a Logic
650		4	\|a Mathematical logic
650		4	\|a Mathematical Logic and Foundations
650		4	\|a Mathematik
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Bern \|2 gnd-content
689	0	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Kahle, Reinhard \|d 1967- \|0 (DE-588)123216826 \|4 edt
700	1		\|a Strahm, Thomas \|4 edt
700	1		\|a Studer, Thomas \|d 1972- \|0 (DE-588)1084131617 \|4 edt
776	0	8	\|i Erscheint auch als \|n Druckausgabe \|z 978-3-319-29196-3
856	4	0	\|u https://doi.org/10.1007/978-3-319-29198-7 \|x Verlag \|z URL des Erstveröffentlichers \|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=028994195&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=028994195&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SMA
940	1		\|q ZDB-2-SMA_2016
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028994195
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-634 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-898 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-861 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-91 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-19 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-703 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-20 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-824 \|p ZDB-2-SMA \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-29198-7 \|l DE-739 \|p ZDB-2-SMA \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-OTHR_katkey	5753815
DE-BY-TUM_katkey	2195391
_version_	1831257089329070080
adam_text	ADVANCES IN PROOF THEORY / : 2016 TABLE OF CONTENTS / INHALTSVERZEICHNIS W. BUCHHOLZ: A SURVEY ON ORDINAL NOTATIONS AROUND THE BACHMANN-HOWARD ORDINAL A. CANTINI: ABOUT TRUTH AND TYPES R. DYCKHOFF: INTUITIONISTIC DECISION PROCEDURES SINCE GENTZEN S. FEFERMAN: THE OPERATIONAL PERSPECTIVE R. GORE: FORMALLY VERIFIED PROOF-THEORY USING ISABELLE/HOL P. MINARI: ANALYTIC EQUATIONAL PROOF SYSTEMS FOR COMBINATORY LOGIC AND LAMBDA CALCULUS W. POHLERS: FROM SUBSYSTEMS OF CLASSICAL ANALYSIS TO SUBSYSTEMS OF SET THEORY - A PERSONAL ACCOUNT M. RATHJEN: ORDINAL ANALYSIS AND WITNESS EXTRACTION P. SCHUSTER: LOGIC COMPLETENESS VIA OPEN INDUCTION H. SCHWICHTENBERG: ON THE COMPUTATIONAL CONTENT OF HIGMAN S LEMMA P. SCHROEDER-HEISTER: TBA A. SETZER: TBA S. WAINER: ON WEAK POINTWISE INDUCTION, AND A MINIATURIZED PREDICATIVITY DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. ADVANCES IN PROOF THEORY / : 2016 ABSTRACT / INHALTSTEXT THE AIM OF THIS VOLUME IS TO COLLECT ORIGINAL CONTRIBUTIONS BY THE BEST SPECIALISTS FROM THE AREA OF PROOF THEORY, CONSTRUCTIVITY, AND COMPUTATION AND DISCUSS RECENT TRENDS AND RESULTS IN THESE AREAS. SOME EMPHASIS WILL BE PUT ON ORDINAL ANALYSIS, REDUCTIVE PROOF THEORY, EXPLICIT MATHEMATICS AND TYPE-THEORETIC FORMALISMS, AND ABSTRACT COMPUTATIONS. THE VOLUME IS DEDICATED TO THE 60TH BIRTHDAY OF PROFESSOR GERHARD JAEGER, WHO HAS BEEN INSTRUMENTAL IN SHAPING AND PROMOTING LOGIC IN SWITZERLAND FOR THE LAST 25 YEARS. IT COMPRISES CONTRIBUTIONS FROM THE SYMPOSIUM “ADVANCES IN PROOF THEORY”, WHICH WAS HELD IN BERN IN DECEMBER 2013. PROOF THEORY CAME INTO BEING IN THE TWENTIES OF THE LAST CENTURY, WHEN IT WAS INAUGURATED BY DAVID HILBERT IN ORDER TO SECURE THE FOUNDATIONS OF MATHEMATICS. IT WAS SUBSTANTIALLY INFLUENCED BY GOEDEL S FAMOUS INCOMPLETENESS THEOREMS OF 1930 AND GENTZEN S NEW CONSISTENCY PROOF FOR THE AXIOM SYSTEM OF FIRST ORDER NUMBER THEORY IN 1936. TODAY, PROOF THEORY IS A WELL-ESTABLISHED BRANCH OF MATHEMATICAL AND PHILOSOPHICAL LOGIC AND ONE OF THE PILLARS OF THE FOUNDATIONS OF MATHEMATICS. PROOF THEORY EXPLORES CONSTRUCTIVE AND COMPUTATIONAL ASPECTS OF MATHEMATICAL REASONING; IT IS PARTICULARLY SUITABLE FOR DEALING WITH VARIOUS QUESTIONS IN COMPUTER SCIENCE. DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Kahle, Reinhard 1967- Strahm, Thomas Studer, Thomas 1972-
author2_role	edt edt edt
author2_variant	r k rk t s ts t s ts
author_GND	(DE-588)123216826 (DE-588)1084131617
author_corporate	Advances in Proof Theory (Veranstaltung) Bern
author_corporate_role	aut
author_facet	Kahle, Reinhard 1967- Strahm, Thomas Studer, Thomas 1972- Advances in Proof Theory (Veranstaltung) Bern
author_sort	Advances in Proof Theory (Veranstaltung) Bern
building	Verbundindex
bvnumber	BV043579522
classification_tum	MAT 000
collection	ZDB-2-SMA
ctrlnum	(ZDB-2-SMA)978-3-319-29198-7 (OCoLC)951032967 (DE-599)BVBBV043579522
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	Mathematik
doi_str_mv	10.1007/978-3-319-29198-7
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03379nam a2200661zcb4500</leader><controlfield tag="001">BV043579522</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220310 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">160601s2016 xx o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319291987</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-29198-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-29198-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)978-3-319-29198-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)951032967</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043579522</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-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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="111" ind1="2" ind2=" "><subfield code="a">Advances in Proof Theory (Veranstaltung)</subfield><subfield code="d">2013</subfield><subfield code="c">Bern</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1102558753</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in proof theory</subfield><subfield code="c">Reinhard Kahle, Thomas Strahm, Thomas Studer, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Birkhäuser</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 (XII, 425 Seiten, 10 illus)</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="0" ind2=" "><subfield code="a">Progress in computer science and applied logic</subfield><subfield code="v">volume 28</subfield><subfield code="x">2297-0576</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</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">Mathematik</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Bern</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">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kahle, Reinhard</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)123216826</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strahm, Thomas</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Studer, Thomas</subfield><subfield code="d">1972-</subfield><subfield code="0">(DE-588)1084131617</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-3-319-29196-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-29198-7</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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=028994195&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=028994195&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></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2016</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028994195</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-29198-7</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-29198-7</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-29198-7</subfield><subfield code="l">DE-861</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-29198-7</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-29198-7</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-29198-7</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-29198-7</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-29198-7</subfield><subfield code="l">DE-824</subfield><subfield code="p">ZDB-2-SMA</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.1007/978-3-319-29198-7</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Bern gnd-content
genre_facet	Konferenzschrift 2013 Bern
id	DE-604.BV043579522
illustrated	Not Illustrated
indexdate	2024-12-20T17:40:00Z
institution	BVB
institution_GND	(DE-588)1102558753
isbn	9783319291987
issn	2297-0576
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028994195
oclc_num	951032967
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-898 DE-BY-UBR DE-861 DE-703 DE-824 DE-83
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-898 DE-BY-UBR DE-861 DE-703 DE-824 DE-83
physical	1 Online-Ressource (XII, 425 Seiten, 10 illus)
psigel	ZDB-2-SMA ZDB-2-SMA_2016
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Birkhäuser
record_format	marc
series2	Progress in computer science and applied logic
spellingShingle	Advances in proof theory Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematik Beweistheorie (DE-588)4145177-6 gnd
subject_GND	(DE-588)4145177-6 (DE-588)1071861417
title	Advances in proof theory
title_auth	Advances in proof theory
title_exact_search	Advances in proof theory
title_full	Advances in proof theory Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
title_fullStr	Advances in proof theory Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
title_full_unstemmed	Advances in proof theory Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
title_short	Advances in proof theory
title_sort	advances in proof theory
topic	Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematik Beweistheorie (DE-588)4145177-6 gnd
topic_facet	Mathematics Logic Mathematical logic Mathematical Logic and Foundations Mathematik Beweistheorie Konferenzschrift 2013 Bern
url	https://doi.org/10.1007/978-3-319-29198-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028994195&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=028994195&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT advancesinprooftheoryveranstaltungbern advancesinprooftheory AT kahlereinhard advancesinprooftheory AT strahmthomas advancesinprooftheory AT studerthomas advancesinprooftheory

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen
Inhaltsverzeichnis