Concepts of proof in mathematics, philosophy, and computer science

A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototyp...
Ausführliche Beschreibung

Gespeichert in:

Autor*in:	Probst, Dieter - 1973- [herausgeberIn] Schuster, Peter Michael - 1966- [herausgeberIn]
Kongresse:	Humboldt-Kolleg "Proof" ; Bern ; 2013

Format:	E-Book
Sprache:	Englisch

Erschienen:	Berlin Boston: De Gruyter ; 2016 © 2016
Zeitschrift/Reihe:	Ontos Mathematical Logic - 6

Rechteinformationen:	Restricted Access

Schlagwörter:	Logic, Symbolic and mathematical Mathematics Proof theory Mathematische Logik. Philosophie der Mathematik. Theoretische Informatik. PHILOSOPHY / Epistemology
Formangabe:	Konferenzschrift

Anmerkung:	Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013
Umfang:	1 Online-Ressource (X, 374 Seiten)
Beschreibung:	Mode of access: Internet via World Wide Web.

Reihe:	Ontos Mathematical Logic ; 6 Ontos mathematical logic ; volume 6 De Gruyter eBook-Paket Philosophie

Links:	Link aufrufen Volltext Volltext Link aufrufen Cover Cover Zentralblatt MATH Cover Cover
ISBN:	978-1-5015-0262-0 978-1-5015-0264-4

DOI / URN:	10.1515/9781501502620

Katalog-ID:	866216022

Internformat


LEADER	01000cam a2200265 4500
001	866216022
003	DE-627
005	20241006175942.0
007	cr uuu---uuuuu
008	161027s2016 gw \|\|\|\|\|o 00\| \|\|eng c
020			\|a 9781501502620 \|9 978-1-5015-0262-0
020			\|a 9781501502644 \|9 978-1-5015-0264-4
024	7		\|a 10.1515/9781501502620 \|2 doi
035			\|a (DE-627)866216022
035			\|a (DE-576)478832990
035			\|a (DE-599)GBV866216022
035			\|a (OCoLC)956701728
035			\|a (ZBM)1345.03009
035			\|a (ZBM)1345.03009
035			\|a (EBP)005984602
035			\|a (DE-B1597)451552
040			\|a DE-627 \|b eng \|c DE-627 \|e rda
041			\|a eng
044			\|c XA-DE \|c XD-US
050		0	\|a QA9.54
072		7	\|a PHI011000 \|2 bisacsh
072		7	\|a MAT015000 \|2 bisacsh
072		7	\|a PHI014000 \|2 bisacsh
072		7	\|a PHI004000 \|2 bisacsh
084			\|a *03-06 \|2 msc
084			\|a 68-06 \|2 msc
084			\|a 03Fxx \|2 msc
084			\|a 00B25 \|2 msc
111	2		\|a Humboldt-Kolleg "Proof" \|d 2013 \|c Bern \|j VerfasserIn \|0 (DE-588)1111667128 \|0 (DE-627)865844690 \|0 (DE-576)476237173 \|4 aut
245	1	0	\|a Concepts of proof in mathematics, philosophy, and computer science \|c edited by Dieter Probst and Peter Schuster
264		1	\|a Berlin \|a Boston \|b De Gruyter \|c [2016]
264		4	\|c © 2016
300			\|a 1 Online-Ressource (X, 374 Seiten)
336			\|a Text \|b txt \|2 rdacontent
337			\|a Computermedien \|b c \|2 rdamedia
338			\|a Online-Ressource \|b cr \|2 rdacarrier
490	1		\|a Ontos Mathematical Logic \|v 6
490	1		\|a Ontos mathematical logic \|v volume 6
490	0		\|a De Gruyter eBook-Paket Philosophie
500			\|a Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013
505	8	0	\|a Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories
506	1		\|a Restricted Access \|e Controlled Vocabulary for Access Rights \|u http://purl.org/coar/access_right/c_16ec \|f online access with authorization \|2 star
520			\|a A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.
538			\|a Mode of access: Internet via World Wide Web.
546			\|a In English
650		0	\|a Logic, Symbolic and mathematical
650		0	\|a Mathematics
650		0	\|a Proof theory
650		4	\|a Mathematische Logik.
650		4	\|a Philosophie der Mathematik.
650		4	\|a Theoretische Informatik.
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Mathematics
650		4	\|a Proof theory
650		4	\|a PHILOSOPHY / Epistemology
653			\|a Mathematical Logic
653			\|a Philosophy of Mathematics
653			\|a Theoretical Computer Science
655		7	\|a Konferenzschrift \|y 2013 \|z Bern \|0 (DE-588)1071861417 \|0 (DE-627)826484824 \|0 (DE-576)433375485 \|2 gnd-content
700	1		\|a Probst, Dieter \|d 1973- \|e herausgeberin \|0 (DE-588)1111666709 \|0 (DE-627)86639303X \|0 (DE-576)476236908 \|4 edt
700	1		\|a Schuster, Peter Michael \|d 1966- \|e herausgeberin \|0 (DE-588)173129951 \|0 (DE-627)69805248X \|0 (DE-576)133981363 \|4 edt
776	1		\|z 9781501510809
776	0	8	\|i Erscheint auch als \|z 978-1-5015-1080-9
830		0	\|a Ontos mathematical logic \|v Volume 6 \|9 6 \|w (DE-627)815397054 \|w (DE-576)424665190 \|w (DE-600)2805726-0 \|x 2198-235X \|7 ns
856	4	0	\|u http://dx.doi.org/10.1515/9781501502620 \|x Verlag \|3 Volltext
856	4	0	\|u https://doi.org/10.1515/9781501502620 \|m X:GRUY \|x Resolving-System \|z lizenzpflichtig \|3 Volltext
856	4	0	\|u https://www.degruyter.com/isbn/9781501502620 \|m X:GRUY \|x Verlag \|z lizenzpflichtig
856	4	2	\|u http://www.degruyter.com/doc/cover/9781501502620.jpg \|x Verlag \|3 Cover
856	4	2	\|u https://www.degruyter.com/doc/cover/9781501502620.jpg \|m X:GRUY \|3 Cover
856	4	2	\|u https://zbmath.org/?q=an:1345.03009 \|m B:ZBM \|v 2021-04-12 \|x Verlag \|y Zentralblatt MATH \|3 Inhaltstext
856	4	2	\|u https://www.degruyter.com/cover/covers/9781501502620.jpg \|m X:GRUY \|x Verlag \|3 Cover
856	4	2	\|u https://www.degruyter.com/document/cover/isbn/9781501502620/original \|m X:GRUY \|x Verlag \|3 Cover
912			\|a EBA-BACKALL
912			\|a EBA-CL-MTPY
912			\|a EBA-CL-PLTLJSIS
912			\|a EBA-DGALL
912			\|a EBA-EBACKALL
912			\|a EBA-EBKALL
912			\|a EBA-ECL-MTPY
912			\|a EBA-ECL-PLTLJSIS
912			\|a EBA-EEBKALL
912			\|a EBA-ESSHALL
912			\|a EBA-ESTMALL
912			\|a EBA-SSHALL
912			\|a EBA-STMALL
912			\|a GBV-23-DGG-HSU
912			\|a GBV-deGruyter-alles
912			\|a ZDB-23-DGG \|b 2016
912			\|a ZDB-23-DPH \|b 2016
912			\|a GBV_ILN_11
912			\|a ISIL_DE-1a
912			\|a SYSFLAG_1
912			\|a GBV_KXP
912			\|a SSG-OPC-MAT
912			\|a GBV_ILN_21
912			\|a ISIL_DE-46
912			\|a GBV_ILN_22
912			\|a ISIL_DE-18
912			\|a GBV_ILN_23
912			\|a ISIL_DE-830
912			\|a GBV_ILN_24
912			\|a ISIL_DE-8
912			\|a GBV_ILN_31
912			\|a ISIL_DE-27
912			\|a GBV_ILN_34
912			\|a ISIL_DE-18-302
912			\|a GBV_ILN_60
912			\|a ISIL_DE-705
912			\|a GBV_ILN_65
912			\|a ISIL_DE-3
912			\|a GBV_ILN_69
912			\|a ISIL_DE-9
912			\|a GBV_ILN_72
912			\|a ISIL_DE-35
912			\|a GBV_ILN_90
912			\|a ISIL_DE-Hil2
912			\|a GBV_ILN_95
912			\|a ISIL_DE-542
912			\|a GBV_ILN_110
912			\|a ISIL_DE-Luen4
912			\|a GBV_ILN_120
912			\|a ISIL_DE-715
912			\|a GBV_ILN_122
912			\|a ISIL_DE-897
912			\|a GBV_ILN_130
912			\|a ISIL_DE-700
912			\|a GBV_ILN_140
912			\|a ISIL_DE-839
912			\|a GBV_ILN_147
912			\|a ISIL_DE-Fl3
912			\|a GBV_ILN_264
912			\|a ISIL_DE-897-1
912			\|a GBV_ILN_285
912			\|a ISIL_DE-517
912			\|a GBV_ILN_370
912			\|a ISIL_DE-1373
912			\|a GBV_ILN_736
912			\|a GBV_ILN_2001
912			\|a ISIL_DE-21
912			\|a GBV_ILN_2006
912			\|a ISIL_DE-14
912			\|a GBV_ILN_2008
912			\|a ISIL_DE-24
912			\|a GBV_ILN_2010
912			\|a ISIL_DE-15
912			\|a GBV_ILN_2020
912			\|a ISIL_DE-Ch1
912			\|a GBV_ILN_2027
912			\|a ISIL_DE-105
912			\|a GBV_ILN_2044
912			\|a ISIL_DE-751
912			\|a GBV_ILN_2045
912			\|a ISIL_DE-Mit1
912			\|a GBV_ILN_2050
912			\|a ISIL_DE-Zi4
912			\|a GBV_ILN_2063
912			\|a ISIL_DE-951
912			\|a GBV_ILN_2118
912			\|a ISIL_DE-Mh35
935			\|i Blocktest
951			\|a BO
953			\|2 045F \|a 511.36
953			\|2 045F \|a 511.3/6
980			\|2 11 \|1 01 \|x 0001 \|b 171363953X \|c 00 \|f 5:REMOTE \|d --%%-- \|e s \|j --%%-- \|h ACQ \|y k \|z 28-09-17
980			\|2 21 \|1 01 \|x 0046 \|b 1835071821 \|h ebook_2023_degruyter_ebs \|k Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen \|y zza \|z 23-12-18
980			\|2 22 \|1 01 \|x 0018 \|b 4108256417 \|c 00 \|f --%%-- \|d --%%-- \|e s \|j --%%-- \|h SUBedegebs \|y zu \|z 31-03-22
980			\|2 23 \|1 01 \|x 0830 \|b 1653325518 \|h olr-degruyter3 \|u i \|y z \|z 18-12-16
980			\|2 24 \|1 01 \|x 0008 \|b 3805195931 \|c 00 \|f --%%-- \|d --%%-- \|e s \|j --%%-- \|h olr-dgebs \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|k Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). \|y z \|z 17-11-20
980			\|2 31 \|1 01 \|x 0027 \|b 3868647422 \|h OLR-DeGruyterEBS \|k Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 20-02-21
980			\|2 34 \|1 01 \|x 3551 \|b 4077950864 \|h OLR-EBAKALL-EBS \|k Zugriff nur im Netz der HAW Hamburg \|y z \|z 03-03-22
980			\|2 60 \|1 01 \|x 0705 \|b 3825258041 \|c 00 \|f --%%-- \|d --%%-- \|e s \|j --%%-- \|h DeGruyter \|u verv \|u shib \|y z \|z 13-12-20
980			\|2 65 \|1 01 \|x 0003 \|b 1641648880 \|c 03 \|f --%%-- \|d ebook \|e --%%-- \|j --%%-- \|h OLR-ZDB-23-DPH \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|y k3o \|z 17-10-16
980			\|2 69 \|1 01 \|x 0009 \|b 3755498391 \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|u BF_dG \|y z \|z 15-09-20
980			\|2 72 \|1 01 \|x 0035 \|b 1742605192 \|h OLR-DG-PDA11SSHE \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|y z \|z 18-01-18
980			\|2 90 \|1 01 \|x 3090 \|b 1633475468 \|h OLR-HILdegruyter \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 25-08-16
980			\|2 95 \|1 01 \|x 3095 \|b 1729878873 \|h OLR-DEGRUYTER \|k Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet \|y z1 \|z 11-12-17
980			\|2 110 \|1 01 \|x 3110 \|b 1809576059 \|h OLR-DEGRUYTER-EBS-2018 \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|k Volltextzugriff nur für berechtigte Personen über das Campusnetz \|y z \|z 02-10-18
980			\|2 120 \|1 01 \|x 0715 \|b 1633485730 \|k Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|y z \|z 25-08-16
980			\|2 120 \|1 03 \|x 0715 \|b 3581683199 \|c 00 \|f --%%-- \|d --%%-- \|e g \|j --%%-- \|h alma \|y z \|z 24-01-20
980			\|2 122 \|1 01 \|x 0897 \|b 1651533164 \|h OLR-deGruyter-EBS \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots \|y z \|z 14-12-16
980			\|2 130 \|1 01 \|x 0700 \|b 3985663459 \|c 00 \|f --%%-- \|d --%%-- \|e s \|j --%%-- \|h OLR-deGruyter-EBA-EBKALL \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 09-10-21
980			\|2 140 \|1 01 \|x 0839 \|b 165194492X \|h OLR-deGruyter-EBS \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots \|y z \|z 14-12-16
980			\|2 147 \|1 01 \|x 3528 \|b 3787694757 \|h OLR-EBS-DG \|k Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 27-10-20
980			\|2 264 \|1 01 \|x 3264 \|b 1652476237 \|h OLR-deGruyter-EBS \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots \|y z \|z 15-12-16
980			\|2 285 \|1 01 \|x 0517 \|b 4589906228 \|h OLR-GRUY-TEST \|k Zugriff zeitlich begrenzt (EBS) \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. \|y z \|z 09-10-24
980			\|2 370 \|1 01 \|x 4370 \|b 4085159259 \|h EBS deGruyter \|k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. \|u i \|y z \|z 09-03-22
980			\|2 736 \|1 01 \|x 4736 \|b 4492504451 \|h DeGryuterEBS2024 \|u verv \|y zeg \|z 27-02-24
980			\|2 2001 \|1 01 \|x DE-21 \|b 3938348976 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j kp \|y l01 \|z 14-06-21
980			\|2 2006 \|1 01 \|x DE-14 \|b 4433074810 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j --%%-- \|y l01 \|z 12-12-23
980			\|2 2008 \|1 01 \|x DE-24 \|b 3364559279 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j kp \|k *** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen \|y l01 \|z 13-03-18
980			\|2 2010 \|1 01 \|x DE-15 \|b 443302077X \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Elektronischer Volltext - Campuslizenz \|y l01 \|z 12-12-23
980			\|2 2020 \|1 01 \|x DE-Ch1 \|b 4439871860 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Campuslizenz \|y l01 \|z 17-12-23
980			\|2 2027 \|1 01 \|x DE-105 \|b 4462365607 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Campuslizenz \|y l01 \|z 18-01-24
980			\|2 2044 \|1 01 \|x DE-751 \|b 458784330X \|c 00 \|f --%%-- \|d eBook de Gruyter \|e --%%-- \|j n \|k Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) \|y l01 \|z 06-10-24
980			\|2 2045 \|1 01 \|x DE-Mit1 \|b 4490831919 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Volltext - Campuslizenz \|y l01 \|z 25-02-24
980			\|2 2050 \|1 01 \|x DE-Zi4 \|b 4439871879 \|c 00 \|f --%%-- \|d --%%-- \|e --%%-- \|j n \|k Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. \|y l01 \|z 17-12-23
980			\|2 2063 \|1 01 \|x DE-951 \|b 3823923269 \|c 00 \|f --%%-- \|d eBook de Gruyter \|e n \|j n \|k Elektronischer Volltext - Campuslizenz \|y l01 \|z 11-12-20
980			\|2 2118 \|1 01 \|x DE-Mh35 \|b 444355212X \|c 00 \|f --%%-- \|d eBook de Gruyter \|e --%%-- \|j n \|k Elektronischer Volltext - Campuslizenz \|y l01 \|z 23-12-23
981			\|2 11 \|1 01 \|x 0001 \|r http://erf.sbb.spk-berlin.de/han/609779974/dx.doi.org/10.1515/9781501502620
981			\|2 21 \|1 01 \|x 0046 \|r https://doi.org/10.1515/9781501502620
981			\|2 22 \|1 01 \|x 0018 \|y Volltextzugang Campus \|r https://doi.org/10.1515/9781501502620
981			\|2 22 \|1 01 \|x 0018 \|y Volltextzugang von außerhalb des Campus \|r http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781501502620
981			\|2 23 \|1 01 \|x 0830 \|y E-books (deGruyter) \|r http://dx.doi.org/10.1515/9781501502620
981			\|2 24 \|1 01 \|x 0008 \|r https://doi.org/10.1515/9781501502620
981			\|2 31 \|1 01 \|x 0027 \|r https://doi.org/10.1515/9781501502620
981			\|2 34 \|1 01 \|x 3551 \|r https://doi.org/10.1515/9781501502620
981			\|2 60 \|1 01 \|x 0705 \|r https://doi.org/10.1515/9781501502620
981			\|2 65 \|1 01 \|x 0003 \|y Volltextzugang Campus \|r http://dx.doi.org/10.1515/9781501502620
981			\|2 69 \|1 01 \|x 0009 \|r https://doi.org/10.1515/9781501502620
981			\|2 72 \|1 01 \|x 0035 \|r http://hanproxy.gwlb.de/han/degruyter/dx.doi.org/10.1515/9781501502620
981			\|2 90 \|1 01 \|x 3090 \|r https://doi.org/10.1515/9781501502620
981			\|2 95 \|1 01 \|x 3095 \|r http://dx.doi.org/10.1515/9781501502620
981			\|2 110 \|1 01 \|x 3110 \|r https://doi.org/10.1515/9781501502620
981			\|2 120 \|1 01 \|x 0715 \|r http://dx.doi.org/10.1515/9781501502620
981			\|2 120 \|1 03 \|x 0715 \|r http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014933519403501
981			\|2 122 \|1 01 \|x 0897 \|r http://dx.doi.org/10.1515/9781501502620
981			\|2 130 \|1 01 \|x 0700 \|r https://doi.org/10.1515/9781501502620
981			\|2 140 \|1 01 \|x 0839 \|r http://dx.doi.org/10.1515/9781501502620
981			\|2 147 \|1 01 \|x 3528 \|r https://doi.org/10.1515/9781501502620
981			\|2 264 \|1 01 \|x 3264 \|r http://dx.doi.org/10.1515/9781501502620
981			\|2 285 \|1 01 \|x 0517 \|r https://doi.org/10.1515/9781501502620
981			\|2 370 \|1 01 \|x 4370 \|y E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich \|r https://doi.org/10.1515/9781501502620
981			\|2 736 \|1 01 \|x 4736 \|r https://doi.org/10.1515/9781501502620
981			\|2 2001 \|1 01 \|x DE-21 \|r https://doi.org/10.1515/9781501502620
981			\|2 2006 \|1 01 \|x DE-14 \|r https://www.degruyter.com/isbn/9781501502620
981			\|2 2008 \|1 01 \|x DE-24 \|r http://han.wlb-stuttgart.de/han/degruyter-eB/www.degruyter.com/books/9781501502620
981			\|2 2010 \|1 01 \|x DE-15 \|y Online-Zugriff \|r https://www.degruyter.com/isbn/9781501502620
981			\|2 2020 \|1 01 \|x DE-Ch1 \|r https://doi.org/10.1515/9781501502620
981			\|2 2044 \|1 01 \|x DE-751 \|r https://doi.org/10.1515/9781501502620
981			\|2 2045 \|1 01 \|x DE-Mit1 \|r https://doi.org/10.1515/9781501502620
981			\|2 2050 \|1 01 \|x DE-Zi4 \|r https://doi.org/10.1515/9781501502620
981			\|2 2063 \|1 01 \|x DE-951 \|r https://doi.org/10.1515/9781501502620
981			\|2 2118 \|1 01 \|x DE-Mh35 \|r https://doi.org/10.1515/9781501502620
982			\|2 31 \|1 01 \|x 0027 \|8 00 \|a E-Book DeGruyter
982			\|2 2001 \|1 01 \|x DE-21 \|8 00 \|s s \|a eBook-DeGruyter-EBS-2021-2022
982			\|2 2027 \|1 01 \|x DE-105 \|8 00 \|s s \|a ebook
983			\|2 120 \|1 00 \|x DE-715 \|8 99 \|a ww
983			\|2 2063 \|1 01 \|x DE-951 \|8 00 \|0 (DE-627)1384640894 \|a e-Book
983			\|2 2063 \|1 01 \|x DE-951 \|8 00 \|0 (DE-627)1478403012 \|a e-Book De Gruyter
985			\|2 11 \|1 01 \|x 0001 \|a 1 E 4388
985			\|2 23 \|1 01 \|x 0830 \|a 2016-02479, 2016-02480, 2016-02481, 2016-02482, 2016-02483
985			\|2 72 \|1 01 \|x 0035 \|a ebk1
995			\|2 11 \|1 01 \|x 0001 \|a ACQ
995			\|2 11 \|1 01 \|x 0001 \|a Einzelkauf
995			\|2 11 \|1 01 \|x 0001 \|a DeGruyter
995			\|2 21 \|1 01 \|x 0046 \|a ebook_2023_degruyter_ebs
995			\|2 21 \|1 01 \|x 0046 \|a ebm
995			\|2 22 \|1 01 \|x 0018 \|a SUBedegebs
995			\|2 23 \|1 01 \|x 0830 \|a olr-degruyter3
995			\|2 24 \|1 01 \|x 0008 \|a olr-dgebs
995			\|2 31 \|1 01 \|x 0027 \|a OLR-DeGruyterEBS
995			\|2 34 \|1 01 \|x 3551 \|a OLR-EBAKALL-EBS
995			\|2 60 \|1 01 \|x 0705 \|a DeGruyter
995			\|2 65 \|1 01 \|x 0003 \|a OLR-ZDB-23-DPH
995			\|2 72 \|1 01 \|x 0035 \|a OLR-DG-PDA11SSHE
995			\|2 90 \|1 01 \|x 3090 \|a OLR-HILdegruyter
995			\|2 95 \|1 01 \|x 3095 \|a OLR-DEGRUYTER
995			\|2 110 \|1 01 \|x 3110 \|a OLR-DEGRUYTER-EBS-2018
995			\|2 120 \|1 03 \|x 0715 \|a alma
995			\|2 122 \|1 01 \|x 0897 \|a OLR-deGruyter-EBS
995			\|2 130 \|1 01 \|x 0700 \|a OLR-deGruyter-EBA-EBKALL
995			\|2 140 \|1 01 \|x 0839 \|a OLR-deGruyter-EBS
995			\|2 147 \|1 01 \|x 3528 \|a OLR-EBS-DG
995			\|2 264 \|1 01 \|x 3264 \|a OLR-deGruyter-EBS
995			\|2 285 \|1 01 \|x 0517 \|a OLR-GRUY-TEST
995			\|2 370 \|1 01 \|x 4370 \|a EBS deGruyter
995			\|2 736 \|1 01 \|x 4736 \|a DeGryuterEBS2024
998			\|2 23 \|1 01 \|x 0830 \|0 2016.12.18

Indexfelder

matchkey_str	book:9781501502620:2016----
oclc_num	956701728
publishDate	2016
building	11 21:z 22:u 23 24 31 34 60 65:3 69 72 90 95:1 110 120 122 130 140 147 264 285 370 736:e 2001:0 2006:0 2008:0 2010:0 2020:0 2027:0 2044:0 2045:0 2050:0 2063:0 2118:0
topic_facet	Logic, Symbolic and mathematical Mathematics Proof theory Mathematische Logik. Philosophie der Mathematik. Theoretische Informatik. PHILOSOPHY / Epistemology Mathematical Logic Philosophy of Mathematics Theoretical Computer Science
sw_local_iln_str_mv	31:E-Book DeGruyter 0027:E-Book DeGruyter 2001:eBook-DeGruyter-EBS-2021-2022 DE-21:eBook-DeGruyter-EBS-2021-2022 2027:ebook DE-105:ebook
isfreeaccess_bool	false
publishDateDaySort_date	2016-01-01T00:00:00Z
hierarchy_top_id	815397054
id	866216022
signature_iln	65:ebook 0003:ebook 2044:eBook de Gruyter DE-751:eBook de Gruyter 2063:eBook de Gruyter DE-951:eBook de Gruyter 2118:eBook de Gruyter DE-Mh35:eBook de Gruyter
signature_iln_str_mv	65:ebook 0003:ebook 2044:eBook de Gruyter DE-751:eBook de Gruyter 2063:eBook de Gruyter DE-951:eBook de Gruyter 2118:eBook de Gruyter DE-Mh35:eBook de Gruyter
signature_iln_scis_mv	65:ebook 0003:ebook 2044:eBook de Gruyter DE-751:eBook de Gruyter 2063:eBook de Gruyter DE-951:eBook de Gruyter 2118:eBook de Gruyter DE-Mh35:eBook de Gruyter
language_de	englisch
standort_str_mv	5:REMOTE --%%--
callnumber-first	Q - Science
delete_txt_mv	keep
publishPlace	Berlin Boston
callnumber-label	QA9
last_changed_iln_str_mv	11@28-09-17 21@23-12-18 22@31-03-22 23@18-12-16 24@17-11-20 31@20-02-21 34@03-03-22 60@13-12-20 65@17-10-16 69@15-09-20 72@18-01-18 90@25-08-16 95@11-12-17 110@02-10-18 120@25-08-16 120@24-01-20 122@14-12-16 130@09-10-21 140@14-12-16 147@27-10-20 264@15-12-16 285@09-10-24 370@09-03-22 736@27-02-24 2001@14-06-21 2006@12-12-23 2008@13-03-18 2010@12-12-23 2020@17-12-23 2027@18-01-24 2044@06-10-24 2045@25-02-24 2050@17-12-23 2063@11-12-20 2118@23-12-23
illustrated	Not Illustrated
contents	Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories
spellingShingle	Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories Ontos mathematical logic Volume 6 misc QA9.54 msc *03-06 msc 68-06 msc 03Fxx msc 00B25 misc Logic, Symbolic and mathematical misc Mathematics misc Proof theory misc Mathematische Logik. misc Philosophie der Mathematik. misc Theoretische Informatik. misc PHILOSOPHY / Epistemology misc Mathematical Logic misc Philosophy of Mathematics misc Theoretical Computer Science 31 E-Book DeGruyter 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook Concepts of proof in mathematics, philosophy, and computer science
topic_title	QA9.54 *03-06 msc 68-06 msc 03Fxx msc 00B25 msc 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook Concepts of proof in mathematics, philosophy, and computer science edited by Dieter Probst and Peter Schuster Ontos mathematical logic Volume 6 6 (DE-627)815397054 (DE-576)424665190 (DE-600)2805726-0 2198-235X ns Logic, Symbolic and mathematical Mathematics Proof theory Mathematische Logik Philosophie der Mathematik Theoretische Informatik PHILOSOPHY / Epistemology
format_facet	Elektronische Bücher Bücher Elektronische Ressource
standort_txtP_mv	5:REMOTE --%%--
signature	--%%-- ebook eBook de Gruyter
signature_str_mv	--%%-- ebook eBook de Gruyter
hierarchy_top_title	Ontos mathematical logic
isfreeaccess_txt	false
familylinks_str_mv	(DE-627)815397054 (DE-576)424665190 (DE-600)2805726-0
normlinkwithrole_str_mv	(DE-588)1111667128@@aut@@ (DE-588)1071861417@@655@@ (DE-588)1111666709@@edt@@ (DE-588)173129951@@edt@@
ctrlnum	(DE-627)866216022 (DE-576)478832990 (DE-599)GBV866216022 (OCoLC)956701728 (ZBM)1345.03009 (EBP)005984602 (DE-B1597)451552
title_full	Concepts of proof in mathematics, philosophy, and computer science edited by Dieter Probst and Peter Schuster
author_sort	Humboldt-Kolleg "Proof" Bern
era	2013
isOA_bool	false
genre	Konferenzschrift 2013 Bern (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
publishDateSort	2016
selectkey	11:k 21:z 22:z 23:z 24:z 31:z 34:z 60:z 65:k 69:z 72:z 90:z 95:z 110:z 120:z 122:z 130:z 140:z 147:z 264:z 285:z 370:z 736:z 2001:l 2006:l 2008:l 2010:l 2020:l 2027:l 2044:l 2045:l 2050:l 2063:l 2118:l
format_se	Elektronische Bücher
countryofpublication_str_mv	XA-DE XD-US
doi_str_mv	10.1515/9781501502620
era_facet	2013
author2-role	herausgeberin
title_sort	concepts of proof in mathematics, philosophy, and computer science
title_auth	Concepts of proof in mathematics, philosophy, and computer science
abstract	A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013
abstractGer	A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013
abstract_unstemmed	A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013
url	http://dx.doi.org/10.1515/9781501502620 https://doi.org/10.1515/9781501502620 https://www.degruyter.com/isbn/9781501502620 http://www.degruyter.com/doc/cover/9781501502620.jpg https://www.degruyter.com/doc/cover/9781501502620.jpg https://zbmath.org/?q=an:1345.03009 https://www.degruyter.com/cover/covers/9781501502620.jpg https://www.degruyter.com/document/cover/isbn/9781501502620/original
author2	Humboldt-Kolleg "Proof" Probst, Dieter 1973- Schuster, Peter Michael 1966-
author2Str	Humboldt-Kolleg "Proof" Probst, Dieter 1973- Schuster, Peter Michael 1966-
ppnlink	815397054
callnumber-subject	QA - Mathematics
series	Ontos mathematical logic Volume 6
seriesStr	Ontos mathematical logic Volume 6
mediatype_str_mv	c
isOA_txt	false
hochschulschrift_bool	false
author2_role	edt edt
hierarchy_sort_str	6
callnumber-subject-code	QA
allfields	9781501502620 978-1-5015-0262-0 9781501502644 978-1-5015-0264-4 10.1515/9781501502620 doi (DE-627)866216022 (DE-576)478832990 (DE-599)GBV866216022 (OCoLC)956701728 (ZBM)1345.03009 (ZBM)1345.03009 (EBP)005984602 (DE-B1597)451552 DE-627 eng DE-627 rda eng XA-DE XD-US QA9.54 PHI011000 bisacsh MAT015000 bisacsh PHI014000 bisacsh PHI004000 bisacsh 03-06 msc 68-06 msc 03Fxx msc 00B25 msc Humboldt-Kolleg "Proof" 2013 Bern VerfasserIn (DE-588)1111667128 (DE-627)865844690 (DE-576)476237173 aut Concepts of proof in mathematics, philosophy, and computer science edited by Dieter Probst and Peter Schuster Berlin Boston De Gruyter [2016] © 2016 1 Online-Ressource (X, 374 Seiten) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Ontos Mathematical Logic 6 Ontos mathematical logic volume 6 De Gruyter eBook-Paket Philosophie Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013 Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. Mode of access: Internet via World Wide Web. In English Logic, Symbolic and mathematical Mathematics Proof theory Mathematische Logik. Philosophie der Mathematik. Theoretische Informatik. Logic, Symbolic and mathematical Mathematics Proof theory PHILOSOPHY / Epistemology Mathematical Logic Philosophy of Mathematics Theoretical Computer Science Konferenzschrift 2013 Bern (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content Probst, Dieter 1973- herausgeberin (DE-588)1111666709 (DE-627)86639303X (DE-576)476236908 edt Schuster, Peter Michael 1966- herausgeberin (DE-588)173129951 (DE-627)69805248X (DE-576)133981363 edt 9781501510809 Erscheint auch als 978-1-5015-1080-9 Ontos mathematical logic Volume 6 6 (DE-627)815397054 (DE-576)424665190 (DE-600)2805726-0 2198-235X ns http://dx.doi.org/10.1515/9781501502620 Verlag Volltext https://doi.org/10.1515/9781501502620 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781501502620 X:GRUY Verlag lizenzpflichtig http://www.degruyter.com/doc/cover/9781501502620.jpg Verlag Cover https://www.degruyter.com/doc/cover/9781501502620.jpg X:GRUY Cover https://zbmath.org/?q=an:1345.03009 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781501502620.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781501502620/original X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-CL-PLTLJSIS EBA-DGALL EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-ECL-PLTLJSIS EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-SSHALL EBA-STMALL GBV-23-DGG-HSU GBV-deGruyter-alles ZDB-23-DGG 2016 ZDB-23-DPH 2016 GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_21 ISIL_DE-46 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_60 ISIL_DE-705 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_285 ISIL_DE-517 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2008 ISIL_DE-24 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2118 ISIL_DE-Mh35 Blocktest BO 045F 511.36 045F 511.3/6 11 01 0001 171363953X 00 5:REMOTE --%%-- s --%%-- ACQ k 28-09-17 21 01 0046 1835071821 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 23-12-18 22 01 0018 4108256417 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 1653325518 olr-degruyter3 i z 18-12-16 24 01 0008 3805195931 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 17-11-20 31 01 0027 3868647422 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 20-02-21 34 01 3551 4077950864 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 60 01 0705 3825258041 00 --%%-- --%%-- s --%%-- DeGruyter verv shib z 13-12-20 65 01 0003 1641648880 03 --%%-- ebook --%%-- --%%-- OLR-ZDB-23-DPH Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. k3o 17-10-16 69 01 0009 3755498391 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 15-09-20 72 01 0035 1742605192 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 18-01-18 90 01 3090 1633475468 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 25-08-16 95 01 3095 1729878873 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 11-12-17 110 01 3110 1809576059 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 02-10-18 120 01 0715 1633485730 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 25-08-16 120 03 0715 3581683199 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 1651533164 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 130 01 0700 3985663459 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-21 140 01 0839 165194492X OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 147 01 3528 3787694757 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-10-20 264 01 3264 1652476237 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 15-12-16 285 01 0517 4589906228 OLR-GRUY-TEST Zugriff zeitlich begrenzt (EBS) Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-24 370 01 4370 4085159259 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 09-03-22 736 01 4736 4492504451 DeGryuterEBS2024 verv zeg 27-02-24 2001 01 DE-21 3938348976 00 --%%-- --%%-- --%%-- kp l01 14-06-21 2006 01 DE-14 4433074810 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2008 01 DE-24 3364559279 00 --%%-- --%%-- --%%-- kp ** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen l01 13-03-18 2010 01 DE-15 443302077X 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439871860 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 4462365607 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 458784330X 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490831919 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439871879 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823923269 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2118 01 DE-Mh35 444355212X 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 11 01 0001 http://erf.sbb.spk-berlin.de/han/609779974/dx.doi.org/10.1515/9781501502620 21 01 0046 https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781501502620 23 01 0830 E-books (deGruyter) http://dx.doi.org/10.1515/9781501502620 24 01 0008 https://doi.org/10.1515/9781501502620 31 01 0027 https://doi.org/10.1515/9781501502620 34 01 3551 https://doi.org/10.1515/9781501502620 60 01 0705 https://doi.org/10.1515/9781501502620 65 01 0003 Volltextzugang Campus http://dx.doi.org/10.1515/9781501502620 69 01 0009 https://doi.org/10.1515/9781501502620 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/dx.doi.org/10.1515/9781501502620 90 01 3090 https://doi.org/10.1515/9781501502620 95 01 3095 http://dx.doi.org/10.1515/9781501502620 110 01 3110 https://doi.org/10.1515/9781501502620 120 01 0715 http://dx.doi.org/10.1515/9781501502620 120 03 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014933519403501 122 01 0897 http://dx.doi.org/10.1515/9781501502620 130 01 0700 https://doi.org/10.1515/9781501502620 140 01 0839 http://dx.doi.org/10.1515/9781501502620 147 01 3528 https://doi.org/10.1515/9781501502620 264 01 3264 http://dx.doi.org/10.1515/9781501502620 285 01 0517 https://doi.org/10.1515/9781501502620 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781501502620 736 01 4736 https://doi.org/10.1515/9781501502620 2001 01 DE-21 https://doi.org/10.1515/9781501502620 2006 01 DE-14 https://www.degruyter.com/isbn/9781501502620 2008 01 DE-24 http://han.wlb-stuttgart.de/han/degruyter-eB/www.degruyter.com/books/9781501502620 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781501502620 2020 01 DE-Ch1 https://doi.org/10.1515/9781501502620 2044 01 DE-751 https://doi.org/10.1515/9781501502620 2045 01 DE-Mit1 https://doi.org/10.1515/9781501502620 2050 01 DE-Zi4 https://doi.org/10.1515/9781501502620 2063 01 DE-951 https://doi.org/10.1515/9781501502620 2118 01 DE-Mh35 https://doi.org/10.1515/9781501502620 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 11 01 0001 1 E 4388 23 01 0830 2016-02479, 2016-02480, 2016-02481, 2016-02482, 2016-02483 72 01 0035 ebk1 11 01 0001 ACQ 11 01 0001 Einzelkauf 11 01 0001 DeGruyter 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 60 01 0705 DeGruyter 65 01 0003 OLR-ZDB-23-DPH 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 03 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 285 01 0517 OLR-GRUY-TEST 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024 23 01 0830 2016.12.18
spelling	9781501502620 978-1-5015-0262-0 9781501502644 978-1-5015-0264-4 10.1515/9781501502620 doi (DE-627)866216022 (DE-576)478832990 (DE-599)GBV866216022 (OCoLC)956701728 (ZBM)1345.03009 (ZBM)1345.03009 (EBP)005984602 (DE-B1597)451552 DE-627 eng DE-627 rda eng XA-DE XD-US QA9.54 PHI011000 bisacsh MAT015000 bisacsh PHI014000 bisacsh PHI004000 bisacsh 03-06 msc 68-06 msc 03Fxx msc 00B25 msc Humboldt-Kolleg "Proof" 2013 Bern VerfasserIn (DE-588)1111667128 (DE-627)865844690 (DE-576)476237173 aut Concepts of proof in mathematics, philosophy, and computer science edited by Dieter Probst and Peter Schuster Berlin Boston De Gruyter [2016] © 2016 1 Online-Ressource (X, 374 Seiten) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Ontos Mathematical Logic 6 Ontos mathematical logic volume 6 De Gruyter eBook-Paket Philosophie Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013 Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. Mode of access: Internet via World Wide Web. In English Logic, Symbolic and mathematical Mathematics Proof theory Mathematische Logik. Philosophie der Mathematik. Theoretische Informatik. Logic, Symbolic and mathematical Mathematics Proof theory PHILOSOPHY / Epistemology Mathematical Logic Philosophy of Mathematics Theoretical Computer Science Konferenzschrift 2013 Bern (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content Probst, Dieter 1973- herausgeberin (DE-588)1111666709 (DE-627)86639303X (DE-576)476236908 edt Schuster, Peter Michael 1966- herausgeberin (DE-588)173129951 (DE-627)69805248X (DE-576)133981363 edt 9781501510809 Erscheint auch als 978-1-5015-1080-9 Ontos mathematical logic Volume 6 6 (DE-627)815397054 (DE-576)424665190 (DE-600)2805726-0 2198-235X ns http://dx.doi.org/10.1515/9781501502620 Verlag Volltext https://doi.org/10.1515/9781501502620 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781501502620 X:GRUY Verlag lizenzpflichtig http://www.degruyter.com/doc/cover/9781501502620.jpg Verlag Cover https://www.degruyter.com/doc/cover/9781501502620.jpg X:GRUY Cover https://zbmath.org/?q=an:1345.03009 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781501502620.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781501502620/original X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-CL-PLTLJSIS EBA-DGALL EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-ECL-PLTLJSIS EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-SSHALL EBA-STMALL GBV-23-DGG-HSU GBV-deGruyter-alles ZDB-23-DGG 2016 ZDB-23-DPH 2016 GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_21 ISIL_DE-46 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_60 ISIL_DE-705 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_285 ISIL_DE-517 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2008 ISIL_DE-24 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2118 ISIL_DE-Mh35 Blocktest BO 045F 511.36 045F 511.3/6 11 01 0001 171363953X 00 5:REMOTE --%%-- s --%%-- ACQ k 28-09-17 21 01 0046 1835071821 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 23-12-18 22 01 0018 4108256417 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 1653325518 olr-degruyter3 i z 18-12-16 24 01 0008 3805195931 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 17-11-20 31 01 0027 3868647422 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 20-02-21 34 01 3551 4077950864 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 60 01 0705 3825258041 00 --%%-- --%%-- s --%%-- DeGruyter verv shib z 13-12-20 65 01 0003 1641648880 03 --%%-- ebook --%%-- --%%-- OLR-ZDB-23-DPH Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. k3o 17-10-16 69 01 0009 3755498391 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 15-09-20 72 01 0035 1742605192 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 18-01-18 90 01 3090 1633475468 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 25-08-16 95 01 3095 1729878873 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 11-12-17 110 01 3110 1809576059 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 02-10-18 120 01 0715 1633485730 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 25-08-16 120 03 0715 3581683199 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 1651533164 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 130 01 0700 3985663459 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-21 140 01 0839 165194492X OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 147 01 3528 3787694757 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-10-20 264 01 3264 1652476237 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 15-12-16 285 01 0517 4589906228 OLR-GRUY-TEST Zugriff zeitlich begrenzt (EBS) Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-24 370 01 4370 4085159259 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 09-03-22 736 01 4736 4492504451 DeGryuterEBS2024 verv zeg 27-02-24 2001 01 DE-21 3938348976 00 --%%-- --%%-- --%%-- kp l01 14-06-21 2006 01 DE-14 4433074810 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2008 01 DE-24 3364559279 00 --%%-- --%%-- --%%-- kp ** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen l01 13-03-18 2010 01 DE-15 443302077X 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439871860 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 4462365607 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 458784330X 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490831919 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439871879 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823923269 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2118 01 DE-Mh35 444355212X 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 11 01 0001 http://erf.sbb.spk-berlin.de/han/609779974/dx.doi.org/10.1515/9781501502620 21 01 0046 https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781501502620 23 01 0830 E-books (deGruyter) http://dx.doi.org/10.1515/9781501502620 24 01 0008 https://doi.org/10.1515/9781501502620 31 01 0027 https://doi.org/10.1515/9781501502620 34 01 3551 https://doi.org/10.1515/9781501502620 60 01 0705 https://doi.org/10.1515/9781501502620 65 01 0003 Volltextzugang Campus http://dx.doi.org/10.1515/9781501502620 69 01 0009 https://doi.org/10.1515/9781501502620 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/dx.doi.org/10.1515/9781501502620 90 01 3090 https://doi.org/10.1515/9781501502620 95 01 3095 http://dx.doi.org/10.1515/9781501502620 110 01 3110 https://doi.org/10.1515/9781501502620 120 01 0715 http://dx.doi.org/10.1515/9781501502620 120 03 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014933519403501 122 01 0897 http://dx.doi.org/10.1515/9781501502620 130 01 0700 https://doi.org/10.1515/9781501502620 140 01 0839 http://dx.doi.org/10.1515/9781501502620 147 01 3528 https://doi.org/10.1515/9781501502620 264 01 3264 http://dx.doi.org/10.1515/9781501502620 285 01 0517 https://doi.org/10.1515/9781501502620 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781501502620 736 01 4736 https://doi.org/10.1515/9781501502620 2001 01 DE-21 https://doi.org/10.1515/9781501502620 2006 01 DE-14 https://www.degruyter.com/isbn/9781501502620 2008 01 DE-24 http://han.wlb-stuttgart.de/han/degruyter-eB/www.degruyter.com/books/9781501502620 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781501502620 2020 01 DE-Ch1 https://doi.org/10.1515/9781501502620 2044 01 DE-751 https://doi.org/10.1515/9781501502620 2045 01 DE-Mit1 https://doi.org/10.1515/9781501502620 2050 01 DE-Zi4 https://doi.org/10.1515/9781501502620 2063 01 DE-951 https://doi.org/10.1515/9781501502620 2118 01 DE-Mh35 https://doi.org/10.1515/9781501502620 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 11 01 0001 1 E 4388 23 01 0830 2016-02479, 2016-02480, 2016-02481, 2016-02482, 2016-02483 72 01 0035 ebk1 11 01 0001 ACQ 11 01 0001 Einzelkauf 11 01 0001 DeGruyter 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 60 01 0705 DeGruyter 65 01 0003 OLR-ZDB-23-DPH 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 03 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 285 01 0517 OLR-GRUY-TEST 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024 23 01 0830 2016.12.18
allfields_unstemmed	9781501502620 978-1-5015-0262-0 9781501502644 978-1-5015-0264-4 10.1515/9781501502620 doi (DE-627)866216022 (DE-576)478832990 (DE-599)GBV866216022 (OCoLC)956701728 (ZBM)1345.03009 (ZBM)1345.03009 (EBP)005984602 (DE-B1597)451552 DE-627 eng DE-627 rda eng XA-DE XD-US QA9.54 PHI011000 bisacsh MAT015000 bisacsh PHI014000 bisacsh PHI004000 bisacsh 03-06 msc 68-06 msc 03Fxx msc 00B25 msc Humboldt-Kolleg "Proof" 2013 Bern VerfasserIn (DE-588)1111667128 (DE-627)865844690 (DE-576)476237173 aut Concepts of proof in mathematics, philosophy, and computer science edited by Dieter Probst and Peter Schuster Berlin Boston De Gruyter [2016] © 2016 1 Online-Ressource (X, 374 Seiten) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Ontos Mathematical Logic 6 Ontos mathematical logic volume 6 De Gruyter eBook-Paket Philosophie Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013 Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. Mode of access: Internet via World Wide Web. In English Logic, Symbolic and mathematical Mathematics Proof theory Mathematische Logik. Philosophie der Mathematik. Theoretische Informatik. Logic, Symbolic and mathematical Mathematics Proof theory PHILOSOPHY / Epistemology Mathematical Logic Philosophy of Mathematics Theoretical Computer Science Konferenzschrift 2013 Bern (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content Probst, Dieter 1973- herausgeberin (DE-588)1111666709 (DE-627)86639303X (DE-576)476236908 edt Schuster, Peter Michael 1966- herausgeberin (DE-588)173129951 (DE-627)69805248X (DE-576)133981363 edt 9781501510809 Erscheint auch als 978-1-5015-1080-9 Ontos mathematical logic Volume 6 6 (DE-627)815397054 (DE-576)424665190 (DE-600)2805726-0 2198-235X ns http://dx.doi.org/10.1515/9781501502620 Verlag Volltext https://doi.org/10.1515/9781501502620 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781501502620 X:GRUY Verlag lizenzpflichtig http://www.degruyter.com/doc/cover/9781501502620.jpg Verlag Cover https://www.degruyter.com/doc/cover/9781501502620.jpg X:GRUY Cover https://zbmath.org/?q=an:1345.03009 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781501502620.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781501502620/original X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-CL-PLTLJSIS EBA-DGALL EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-ECL-PLTLJSIS EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-SSHALL EBA-STMALL GBV-23-DGG-HSU GBV-deGruyter-alles ZDB-23-DGG 2016 ZDB-23-DPH 2016 GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_21 ISIL_DE-46 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_60 ISIL_DE-705 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_285 ISIL_DE-517 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2008 ISIL_DE-24 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2118 ISIL_DE-Mh35 Blocktest BO 045F 511.36 045F 511.3/6 11 01 0001 171363953X 00 5:REMOTE --%%-- s --%%-- ACQ k 28-09-17 21 01 0046 1835071821 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 23-12-18 22 01 0018 4108256417 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 1653325518 olr-degruyter3 i z 18-12-16 24 01 0008 3805195931 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 17-11-20 31 01 0027 3868647422 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 20-02-21 34 01 3551 4077950864 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 60 01 0705 3825258041 00 --%%-- --%%-- s --%%-- DeGruyter verv shib z 13-12-20 65 01 0003 1641648880 03 --%%-- ebook --%%-- --%%-- OLR-ZDB-23-DPH Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. k3o 17-10-16 69 01 0009 3755498391 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 15-09-20 72 01 0035 1742605192 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 18-01-18 90 01 3090 1633475468 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 25-08-16 95 01 3095 1729878873 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 11-12-17 110 01 3110 1809576059 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 02-10-18 120 01 0715 1633485730 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 25-08-16 120 03 0715 3581683199 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 1651533164 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 130 01 0700 3985663459 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-21 140 01 0839 165194492X OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 147 01 3528 3787694757 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-10-20 264 01 3264 1652476237 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 15-12-16 285 01 0517 4589906228 OLR-GRUY-TEST Zugriff zeitlich begrenzt (EBS) Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-24 370 01 4370 4085159259 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 09-03-22 736 01 4736 4492504451 DeGryuterEBS2024 verv zeg 27-02-24 2001 01 DE-21 3938348976 00 --%%-- --%%-- --%%-- kp l01 14-06-21 2006 01 DE-14 4433074810 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2008 01 DE-24 3364559279 00 --%%-- --%%-- --%%-- kp ** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen l01 13-03-18 2010 01 DE-15 443302077X 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439871860 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 4462365607 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 458784330X 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490831919 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439871879 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823923269 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2118 01 DE-Mh35 444355212X 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 11 01 0001 http://erf.sbb.spk-berlin.de/han/609779974/dx.doi.org/10.1515/9781501502620 21 01 0046 https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781501502620 23 01 0830 E-books (deGruyter) http://dx.doi.org/10.1515/9781501502620 24 01 0008 https://doi.org/10.1515/9781501502620 31 01 0027 https://doi.org/10.1515/9781501502620 34 01 3551 https://doi.org/10.1515/9781501502620 60 01 0705 https://doi.org/10.1515/9781501502620 65 01 0003 Volltextzugang Campus http://dx.doi.org/10.1515/9781501502620 69 01 0009 https://doi.org/10.1515/9781501502620 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/dx.doi.org/10.1515/9781501502620 90 01 3090 https://doi.org/10.1515/9781501502620 95 01 3095 http://dx.doi.org/10.1515/9781501502620 110 01 3110 https://doi.org/10.1515/9781501502620 120 01 0715 http://dx.doi.org/10.1515/9781501502620 120 03 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014933519403501 122 01 0897 http://dx.doi.org/10.1515/9781501502620 130 01 0700 https://doi.org/10.1515/9781501502620 140 01 0839 http://dx.doi.org/10.1515/9781501502620 147 01 3528 https://doi.org/10.1515/9781501502620 264 01 3264 http://dx.doi.org/10.1515/9781501502620 285 01 0517 https://doi.org/10.1515/9781501502620 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781501502620 736 01 4736 https://doi.org/10.1515/9781501502620 2001 01 DE-21 https://doi.org/10.1515/9781501502620 2006 01 DE-14 https://www.degruyter.com/isbn/9781501502620 2008 01 DE-24 http://han.wlb-stuttgart.de/han/degruyter-eB/www.degruyter.com/books/9781501502620 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781501502620 2020 01 DE-Ch1 https://doi.org/10.1515/9781501502620 2044 01 DE-751 https://doi.org/10.1515/9781501502620 2045 01 DE-Mit1 https://doi.org/10.1515/9781501502620 2050 01 DE-Zi4 https://doi.org/10.1515/9781501502620 2063 01 DE-951 https://doi.org/10.1515/9781501502620 2118 01 DE-Mh35 https://doi.org/10.1515/9781501502620 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 11 01 0001 1 E 4388 23 01 0830 2016-02479, 2016-02480, 2016-02481, 2016-02482, 2016-02483 72 01 0035 ebk1 11 01 0001 ACQ 11 01 0001 Einzelkauf 11 01 0001 DeGruyter 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 60 01 0705 DeGruyter 65 01 0003 OLR-ZDB-23-DPH 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 03 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 285 01 0517 OLR-GRUY-TEST 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024 23 01 0830 2016.12.18
allfieldsGer	9781501502620 978-1-5015-0262-0 9781501502644 978-1-5015-0264-4 10.1515/9781501502620 doi (DE-627)866216022 (DE-576)478832990 (DE-599)GBV866216022 (OCoLC)956701728 (ZBM)1345.03009 (ZBM)1345.03009 (EBP)005984602 (DE-B1597)451552 DE-627 eng DE-627 rda eng XA-DE XD-US QA9.54 PHI011000 bisacsh MAT015000 bisacsh PHI014000 bisacsh PHI004000 bisacsh 03-06 msc 68-06 msc 03Fxx msc 00B25 msc Humboldt-Kolleg "Proof" 2013 Bern VerfasserIn (DE-588)1111667128 (DE-627)865844690 (DE-576)476237173 aut Concepts of proof in mathematics, philosophy, and computer science edited by Dieter Probst and Peter Schuster Berlin Boston De Gruyter [2016] © 2016 1 Online-Ressource (X, 374 Seiten) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Ontos Mathematical Logic 6 Ontos mathematical logic volume 6 De Gruyter eBook-Paket Philosophie Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013 Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. Mode of access: Internet via World Wide Web. In English Logic, Symbolic and mathematical Mathematics Proof theory Mathematische Logik. Philosophie der Mathematik. Theoretische Informatik. Logic, Symbolic and mathematical Mathematics Proof theory PHILOSOPHY / Epistemology Mathematical Logic Philosophy of Mathematics Theoretical Computer Science Konferenzschrift 2013 Bern (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content Probst, Dieter 1973- herausgeberin (DE-588)1111666709 (DE-627)86639303X (DE-576)476236908 edt Schuster, Peter Michael 1966- herausgeberin (DE-588)173129951 (DE-627)69805248X (DE-576)133981363 edt 9781501510809 Erscheint auch als 978-1-5015-1080-9 Ontos mathematical logic Volume 6 6 (DE-627)815397054 (DE-576)424665190 (DE-600)2805726-0 2198-235X ns http://dx.doi.org/10.1515/9781501502620 Verlag Volltext https://doi.org/10.1515/9781501502620 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781501502620 X:GRUY Verlag lizenzpflichtig http://www.degruyter.com/doc/cover/9781501502620.jpg Verlag Cover https://www.degruyter.com/doc/cover/9781501502620.jpg X:GRUY Cover https://zbmath.org/?q=an:1345.03009 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781501502620.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781501502620/original X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-CL-PLTLJSIS EBA-DGALL EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-ECL-PLTLJSIS EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-SSHALL EBA-STMALL GBV-23-DGG-HSU GBV-deGruyter-alles ZDB-23-DGG 2016 ZDB-23-DPH 2016 GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_21 ISIL_DE-46 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_60 ISIL_DE-705 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_285 ISIL_DE-517 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2008 ISIL_DE-24 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2118 ISIL_DE-Mh35 Blocktest BO 045F 511.36 045F 511.3/6 11 01 0001 171363953X 00 5:REMOTE --%%-- s --%%-- ACQ k 28-09-17 21 01 0046 1835071821 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 23-12-18 22 01 0018 4108256417 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 1653325518 olr-degruyter3 i z 18-12-16 24 01 0008 3805195931 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 17-11-20 31 01 0027 3868647422 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 20-02-21 34 01 3551 4077950864 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 60 01 0705 3825258041 00 --%%-- --%%-- s --%%-- DeGruyter verv shib z 13-12-20 65 01 0003 1641648880 03 --%%-- ebook --%%-- --%%-- OLR-ZDB-23-DPH Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. k3o 17-10-16 69 01 0009 3755498391 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 15-09-20 72 01 0035 1742605192 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 18-01-18 90 01 3090 1633475468 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 25-08-16 95 01 3095 1729878873 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 11-12-17 110 01 3110 1809576059 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 02-10-18 120 01 0715 1633485730 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 25-08-16 120 03 0715 3581683199 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 1651533164 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 130 01 0700 3985663459 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-21 140 01 0839 165194492X OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 147 01 3528 3787694757 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-10-20 264 01 3264 1652476237 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 15-12-16 285 01 0517 4589906228 OLR-GRUY-TEST Zugriff zeitlich begrenzt (EBS) Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-24 370 01 4370 4085159259 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 09-03-22 736 01 4736 4492504451 DeGryuterEBS2024 verv zeg 27-02-24 2001 01 DE-21 3938348976 00 --%%-- --%%-- --%%-- kp l01 14-06-21 2006 01 DE-14 4433074810 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2008 01 DE-24 3364559279 00 --%%-- --%%-- --%%-- kp ** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen l01 13-03-18 2010 01 DE-15 443302077X 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439871860 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 4462365607 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 458784330X 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490831919 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439871879 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823923269 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2118 01 DE-Mh35 444355212X 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 11 01 0001 http://erf.sbb.spk-berlin.de/han/609779974/dx.doi.org/10.1515/9781501502620 21 01 0046 https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781501502620 23 01 0830 E-books (deGruyter) http://dx.doi.org/10.1515/9781501502620 24 01 0008 https://doi.org/10.1515/9781501502620 31 01 0027 https://doi.org/10.1515/9781501502620 34 01 3551 https://doi.org/10.1515/9781501502620 60 01 0705 https://doi.org/10.1515/9781501502620 65 01 0003 Volltextzugang Campus http://dx.doi.org/10.1515/9781501502620 69 01 0009 https://doi.org/10.1515/9781501502620 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/dx.doi.org/10.1515/9781501502620 90 01 3090 https://doi.org/10.1515/9781501502620 95 01 3095 http://dx.doi.org/10.1515/9781501502620 110 01 3110 https://doi.org/10.1515/9781501502620 120 01 0715 http://dx.doi.org/10.1515/9781501502620 120 03 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014933519403501 122 01 0897 http://dx.doi.org/10.1515/9781501502620 130 01 0700 https://doi.org/10.1515/9781501502620 140 01 0839 http://dx.doi.org/10.1515/9781501502620 147 01 3528 https://doi.org/10.1515/9781501502620 264 01 3264 http://dx.doi.org/10.1515/9781501502620 285 01 0517 https://doi.org/10.1515/9781501502620 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781501502620 736 01 4736 https://doi.org/10.1515/9781501502620 2001 01 DE-21 https://doi.org/10.1515/9781501502620 2006 01 DE-14 https://www.degruyter.com/isbn/9781501502620 2008 01 DE-24 http://han.wlb-stuttgart.de/han/degruyter-eB/www.degruyter.com/books/9781501502620 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781501502620 2020 01 DE-Ch1 https://doi.org/10.1515/9781501502620 2044 01 DE-751 https://doi.org/10.1515/9781501502620 2045 01 DE-Mit1 https://doi.org/10.1515/9781501502620 2050 01 DE-Zi4 https://doi.org/10.1515/9781501502620 2063 01 DE-951 https://doi.org/10.1515/9781501502620 2118 01 DE-Mh35 https://doi.org/10.1515/9781501502620 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 11 01 0001 1 E 4388 23 01 0830 2016-02479, 2016-02480, 2016-02481, 2016-02482, 2016-02483 72 01 0035 ebk1 11 01 0001 ACQ 11 01 0001 Einzelkauf 11 01 0001 DeGruyter 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 60 01 0705 DeGruyter 65 01 0003 OLR-ZDB-23-DPH 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 03 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 285 01 0517 OLR-GRUY-TEST 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024 23 01 0830 2016.12.18
allfieldsSound	9781501502620 978-1-5015-0262-0 9781501502644 978-1-5015-0264-4 10.1515/9781501502620 doi (DE-627)866216022 (DE-576)478832990 (DE-599)GBV866216022 (OCoLC)956701728 (ZBM)1345.03009 (ZBM)1345.03009 (EBP)005984602 (DE-B1597)451552 DE-627 eng DE-627 rda eng XA-DE XD-US QA9.54 PHI011000 bisacsh MAT015000 bisacsh PHI014000 bisacsh PHI004000 bisacsh 03-06 msc 68-06 msc 03Fxx msc 00B25 msc Humboldt-Kolleg "Proof" 2013 Bern VerfasserIn (DE-588)1111667128 (DE-627)865844690 (DE-576)476237173 aut Concepts of proof in mathematics, philosophy, and computer science edited by Dieter Probst and Peter Schuster Berlin Boston De Gruyter [2016] © 2016 1 Online-Ressource (X, 374 Seiten) Text txt rdacontent Computermedien c rdamedia Online-Ressource cr rdacarrier Ontos Mathematical Logic 6 Ontos mathematical logic volume 6 De Gruyter eBook-Paket Philosophie Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013 Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories Restricted Access Controlled Vocabulary for Access Rights http://purl.org/coar/access_right/c_16ec online access with authorization star A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction. Mode of access: Internet via World Wide Web. In English Logic, Symbolic and mathematical Mathematics Proof theory Mathematische Logik. Philosophie der Mathematik. Theoretische Informatik. Logic, Symbolic and mathematical Mathematics Proof theory PHILOSOPHY / Epistemology Mathematical Logic Philosophy of Mathematics Theoretical Computer Science Konferenzschrift 2013 Bern (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content Probst, Dieter 1973- herausgeberin (DE-588)1111666709 (DE-627)86639303X (DE-576)476236908 edt Schuster, Peter Michael 1966- herausgeberin (DE-588)173129951 (DE-627)69805248X (DE-576)133981363 edt 9781501510809 Erscheint auch als 978-1-5015-1080-9 Ontos mathematical logic Volume 6 6 (DE-627)815397054 (DE-576)424665190 (DE-600)2805726-0 2198-235X ns http://dx.doi.org/10.1515/9781501502620 Verlag Volltext https://doi.org/10.1515/9781501502620 X:GRUY Resolving-System lizenzpflichtig Volltext https://www.degruyter.com/isbn/9781501502620 X:GRUY Verlag lizenzpflichtig http://www.degruyter.com/doc/cover/9781501502620.jpg Verlag Cover https://www.degruyter.com/doc/cover/9781501502620.jpg X:GRUY Cover https://zbmath.org/?q=an:1345.03009 B:ZBM 2021-04-12 Verlag Zentralblatt MATH Inhaltstext https://www.degruyter.com/cover/covers/9781501502620.jpg X:GRUY Verlag Cover https://www.degruyter.com/document/cover/isbn/9781501502620/original X:GRUY Verlag Cover EBA-BACKALL EBA-CL-MTPY EBA-CL-PLTLJSIS EBA-DGALL EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-ECL-PLTLJSIS EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-SSHALL EBA-STMALL GBV-23-DGG-HSU GBV-deGruyter-alles ZDB-23-DGG 2016 ZDB-23-DPH 2016 GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_21 ISIL_DE-46 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_60 ISIL_DE-705 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_285 ISIL_DE-517 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2008 ISIL_DE-24 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2118 ISIL_DE-Mh35 Blocktest BO 045F 511.36 045F 511.3/6 11 01 0001 171363953X 00 5:REMOTE --%%-- s --%%-- ACQ k 28-09-17 21 01 0046 1835071821 ebook_2023_degruyter_ebs Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen zza 23-12-18 22 01 0018 4108256417 00 --%%-- --%%-- s --%%-- SUBedegebs zu 31-03-22 23 01 0830 1653325518 olr-degruyter3 i z 18-12-16 24 01 0008 3805195931 00 --%%-- --%%-- s --%%-- olr-dgebs Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). z 17-11-20 31 01 0027 3868647422 OLR-DeGruyterEBS Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 20-02-21 34 01 3551 4077950864 OLR-EBAKALL-EBS Zugriff nur im Netz der HAW Hamburg z 03-03-22 60 01 0705 3825258041 00 --%%-- --%%-- s --%%-- DeGruyter verv shib z 13-12-20 65 01 0003 1641648880 03 --%%-- ebook --%%-- --%%-- OLR-ZDB-23-DPH Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. k3o 17-10-16 69 01 0009 3755498391 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. BF_dG z 15-09-20 72 01 0035 1742605192 OLR-DG-PDA11SSHE Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 18-01-18 90 01 3090 1633475468 OLR-HILdegruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 25-08-16 95 01 3095 1729878873 OLR-DEGRUYTER Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet z1 11-12-17 110 01 3110 1809576059 OLR-DEGRUYTER-EBS-2018 Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. Volltextzugriff nur für berechtigte Personen über das Campusnetz z 02-10-18 120 01 0715 1633485730 Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. z 25-08-16 120 03 0715 3581683199 00 --%%-- --%%-- g --%%-- alma z 24-01-20 122 01 0897 1651533164 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 130 01 0700 3985663459 00 --%%-- --%%-- s --%%-- OLR-deGruyter-EBA-EBKALL Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-21 140 01 0839 165194492X OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 14-12-16 147 01 3528 3787694757 OLR-EBS-DG Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 27-10-20 264 01 3264 1652476237 OLR-deGruyter-EBS Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots z 15-12-16 285 01 0517 4589906228 OLR-GRUY-TEST Zugriff zeitlich begrenzt (EBS) Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. z 09-10-24 370 01 4370 4085159259 EBS deGruyter Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. i z 09-03-22 736 01 4736 4492504451 DeGryuterEBS2024 verv zeg 27-02-24 2001 01 DE-21 3938348976 00 --%%-- --%%-- --%%-- kp l01 14-06-21 2006 01 DE-14 4433074810 00 --%%-- --%%-- --%%-- --%%-- l01 12-12-23 2008 01 DE-24 3364559279 00 --%%-- --%%-- --%%-- kp ** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen l01 13-03-18 2010 01 DE-15 443302077X 00 --%%-- --%%-- --%%-- n Elektronischer Volltext - Campuslizenz l01 12-12-23 2020 01 DE-Ch1 4439871860 00 --%%-- --%%-- --%%-- n Campuslizenz l01 17-12-23 2027 01 DE-105 4462365607 00 --%%-- --%%-- --%%-- n Campuslizenz l01 18-01-24 2044 01 DE-751 458784330X 00 --%%-- eBook de Gruyter --%%-- n Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) l01 06-10-24 2045 01 DE-Mit1 4490831919 00 --%%-- --%%-- --%%-- n Volltext - Campuslizenz l01 25-02-24 2050 01 DE-Zi4 4439871879 00 --%%-- --%%-- --%%-- n Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. l01 17-12-23 2063 01 DE-951 3823923269 00 --%%-- eBook de Gruyter n n Elektronischer Volltext - Campuslizenz l01 11-12-20 2118 01 DE-Mh35 444355212X 00 --%%-- eBook de Gruyter --%%-- n Elektronischer Volltext - Campuslizenz l01 23-12-23 11 01 0001 http://erf.sbb.spk-berlin.de/han/609779974/dx.doi.org/10.1515/9781501502620 21 01 0046 https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang Campus https://doi.org/10.1515/9781501502620 22 01 0018 Volltextzugang von außerhalb des Campus http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781501502620 23 01 0830 E-books (deGruyter) http://dx.doi.org/10.1515/9781501502620 24 01 0008 https://doi.org/10.1515/9781501502620 31 01 0027 https://doi.org/10.1515/9781501502620 34 01 3551 https://doi.org/10.1515/9781501502620 60 01 0705 https://doi.org/10.1515/9781501502620 65 01 0003 Volltextzugang Campus http://dx.doi.org/10.1515/9781501502620 69 01 0009 https://doi.org/10.1515/9781501502620 72 01 0035 http://hanproxy.gwlb.de/han/degruyter/dx.doi.org/10.1515/9781501502620 90 01 3090 https://doi.org/10.1515/9781501502620 95 01 3095 http://dx.doi.org/10.1515/9781501502620 110 01 3110 https://doi.org/10.1515/9781501502620 120 01 0715 http://dx.doi.org/10.1515/9781501502620 120 03 0715 http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014933519403501 122 01 0897 http://dx.doi.org/10.1515/9781501502620 130 01 0700 https://doi.org/10.1515/9781501502620 140 01 0839 http://dx.doi.org/10.1515/9781501502620 147 01 3528 https://doi.org/10.1515/9781501502620 264 01 3264 http://dx.doi.org/10.1515/9781501502620 285 01 0517 https://doi.org/10.1515/9781501502620 370 01 4370 E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich https://doi.org/10.1515/9781501502620 736 01 4736 https://doi.org/10.1515/9781501502620 2001 01 DE-21 https://doi.org/10.1515/9781501502620 2006 01 DE-14 https://www.degruyter.com/isbn/9781501502620 2008 01 DE-24 http://han.wlb-stuttgart.de/han/degruyter-eB/www.degruyter.com/books/9781501502620 2010 01 DE-15 Online-Zugriff https://www.degruyter.com/isbn/9781501502620 2020 01 DE-Ch1 https://doi.org/10.1515/9781501502620 2044 01 DE-751 https://doi.org/10.1515/9781501502620 2045 01 DE-Mit1 https://doi.org/10.1515/9781501502620 2050 01 DE-Zi4 https://doi.org/10.1515/9781501502620 2063 01 DE-951 https://doi.org/10.1515/9781501502620 2118 01 DE-Mh35 https://doi.org/10.1515/9781501502620 31 01 0027 00 E-Book DeGruyter 2001 01 DE-21 00 s eBook-DeGruyter-EBS-2021-2022 2027 01 DE-105 00 s ebook 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter 11 01 0001 1 E 4388 23 01 0830 2016-02479, 2016-02480, 2016-02481, 2016-02482, 2016-02483 72 01 0035 ebk1 11 01 0001 ACQ 11 01 0001 Einzelkauf 11 01 0001 DeGruyter 21 01 0046 ebook_2023_degruyter_ebs 21 01 0046 ebm 22 01 0018 SUBedegebs 23 01 0830 olr-degruyter3 24 01 0008 olr-dgebs 31 01 0027 OLR-DeGruyterEBS 34 01 3551 OLR-EBAKALL-EBS 60 01 0705 DeGruyter 65 01 0003 OLR-ZDB-23-DPH 72 01 0035 OLR-DG-PDA11SSHE 90 01 3090 OLR-HILdegruyter 95 01 3095 OLR-DEGRUYTER 110 01 3110 OLR-DEGRUYTER-EBS-2018 120 03 0715 alma 122 01 0897 OLR-deGruyter-EBS 130 01 0700 OLR-deGruyter-EBA-EBKALL 140 01 0839 OLR-deGruyter-EBS 147 01 3528 OLR-EBS-DG 264 01 3264 OLR-deGruyter-EBS 285 01 0517 OLR-GRUY-TEST 370 01 4370 EBS deGruyter 736 01 4736 DeGryuterEBS2024 23 01 0830 2016.12.18
language	English
format_phy_str_mv	Book
institution	findex.gbv.de
selectbib_iln_str_mv	11@ 21@za 22@u 23@ 24@ 31@ 34@ 60@ 65@3o 69@ 72@ 90@ 95@1 110@ 120@ 122@ 130@ 140@ 147@ 264@ 285@ 370@ 736@eg 2001@01 2006@01 2008@01 2010@01 2020@01 2027@01 2044@01 2045@01 2050@01 2063@01 2118@01
authorswithroles_txt_mv	Probst, Dieter @@edt@@ Schuster, Peter Michael @@edt@@
genre_facet	Konferenzschrift
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a2200265 4500</leader><controlfield tag="001">866216022</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20241006175942.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">161027s2016 gw \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781501502620</subfield><subfield code="9">978-1-5015-0262-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781501502644</subfield><subfield code="9">978-1-5015-0264-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781501502620</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)866216022</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)478832990</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV866216022</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)956701728</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZBM)1345.03009</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZBM)1345.03009</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)005984602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)451552</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">eng</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-DE</subfield><subfield code="c">XD-US</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT015000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Fxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">00B25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Humboldt-Kolleg "Proof"</subfield><subfield code="d">2013</subfield><subfield code="c">Bern</subfield><subfield code="j">VerfasserIn</subfield><subfield code="0">(DE-588)1111667128</subfield><subfield code="0">(DE-627)865844690</subfield><subfield code="0">(DE-576)476237173</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concepts of proof in mathematics, philosophy, and computer science</subfield><subfield code="c">edited by Dieter Probst and Peter Schuster</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="a">Boston</subfield><subfield code="b">De Gruyter</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 (X, 374 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Ontos Mathematical Logic</subfield><subfield code="v">6</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Ontos mathematical logic</subfield><subfield code="v">volume 6</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">De Gruyter eBook-Paket Philosophie</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="a">Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories</subfield></datafield><datafield tag="506" ind1="1" ind2=" "><subfield code="a">Restricted Access</subfield><subfield code="e">Controlled Vocabulary for Access Rights</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematische Logik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie der Mathematik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretische Informatik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">PHILOSOPHY / Epistemology</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical Logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Philosophy of Mathematics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theoretical Computer Science</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Bern</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="0">(DE-627)826484824</subfield><subfield code="0">(DE-576)433375485</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Probst, Dieter</subfield><subfield code="d">1973-</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)1111666709</subfield><subfield code="0">(DE-627)86639303X</subfield><subfield code="0">(DE-576)476236908</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuster, Peter Michael</subfield><subfield code="d">1966-</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)173129951</subfield><subfield code="0">(DE-627)69805248X</subfield><subfield code="0">(DE-576)133981363</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781501510809</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="z">978-1-5015-1080-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Ontos mathematical logic</subfield><subfield code="v">Volume 6</subfield><subfield code="9">6</subfield><subfield code="w">(DE-627)815397054</subfield><subfield code="w">(DE-576)424665190</subfield><subfield code="w">(DE-600)2805726-0</subfield><subfield code="x">2198-235X</subfield><subfield code="7">ns</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://dx.doi.org/10.1515/9781501502620</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781501502620</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781501502620</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="z">lizenzpflichtig</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://www.degruyter.com/doc/cover/9781501502620.jpg</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/doc/cover/9781501502620.jpg</subfield><subfield code="m">X:GRUY</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://zbmath.org/?q=an:1345.03009</subfield><subfield code="m">B:ZBM</subfield><subfield code="v">2021-04-12</subfield><subfield code="x">Verlag</subfield><subfield code="y">Zentralblatt MATH</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/cover/covers/9781501502620.jpg</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781501502620/original</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-CL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-CL-PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ECL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ECL-PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-23-DGG-HSU</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="b">2016</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DPH</subfield><subfield code="b">2016</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1a</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-46</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-8</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-27</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_34</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18-302</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-705</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_72</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-35</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Hil2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-542</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Luen4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-715</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_122</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-897</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-700</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_140</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-839</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_147</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Fl3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_264</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-897-1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-517</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_736</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2001</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-14</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2008</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-15</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ch1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2044</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-751</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2045</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Mit1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2050</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Zi4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2063</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-951</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2118</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Mh35</subfield></datafield><datafield tag="935" ind1=" " ind2=" "><subfield code="i">Blocktest</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">511.36</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">511.3/6</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="b">171363953X</subfield><subfield code="c">00</subfield><subfield code="f">5:REMOTE</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">ACQ</subfield><subfield code="y">k</subfield><subfield code="z">28-09-17</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="b">1835071821</subfield><subfield code="h">ebook_2023_degruyter_ebs</subfield><subfield code="k">Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen</subfield><subfield code="y">zza</subfield><subfield code="z">23-12-18</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">4108256417</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">SUBedegebs</subfield><subfield code="y">zu</subfield><subfield code="z">31-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">1653325518</subfield><subfield code="h">olr-degruyter3</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">18-12-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="b">3805195931</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">olr-dgebs</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="k">Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz).</subfield><subfield code="y">z</subfield><subfield code="z">17-11-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="b">3868647422</subfield><subfield code="h">OLR-DeGruyterEBS</subfield><subfield code="k">Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen.</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">20-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="b">4077950864</subfield><subfield code="h">OLR-EBAKALL-EBS</subfield><subfield code="k">Zugriff nur im Netz der HAW Hamburg</subfield><subfield code="y">z</subfield><subfield code="z">03-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="b">3825258041</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">DeGruyter</subfield><subfield code="u">verv</subfield><subfield code="u">shib</subfield><subfield code="y">z</subfield><subfield code="z">13-12-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="b">1641648880</subfield><subfield code="c">03</subfield><subfield code="f">--%%--</subfield><subfield code="d">ebook</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-ZDB-23-DPH</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">k3o</subfield><subfield code="z">17-10-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">69</subfield><subfield code="1">01</subfield><subfield code="x">0009</subfield><subfield code="b">3755498391</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="u">BF_dG</subfield><subfield code="y">z</subfield><subfield code="z">15-09-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="b">1742605192</subfield><subfield code="h">OLR-DG-PDA11SSHE</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">18-01-18</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="b">1633475468</subfield><subfield code="h">OLR-HILdegruyter</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">25-08-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="b">1729878873</subfield><subfield code="h">OLR-DEGRUYTER</subfield><subfield code="k">Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet</subfield><subfield code="y">z1</subfield><subfield code="z">11-12-17</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="b">1809576059</subfield><subfield code="h">OLR-DEGRUYTER-EBS-2018</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="k">Volltextzugriff nur für berechtigte Personen über das Campusnetz</subfield><subfield code="y">z</subfield><subfield code="z">02-10-18</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="b">1633485730</subfield><subfield code="k">Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">25-08-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">03</subfield><subfield code="x">0715</subfield><subfield code="b">3581683199</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">g</subfield><subfield code="j">--%%--</subfield><subfield code="h">alma</subfield><subfield code="y">z</subfield><subfield code="z">24-01-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="b">1651533164</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">14-12-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="b">3985663459</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-deGruyter-EBA-EBKALL</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">09-10-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="b">165194492X</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">14-12-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="b">3787694757</subfield><subfield code="h">OLR-EBS-DG</subfield><subfield code="k">Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">27-10-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="b">1652476237</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">15-12-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="b">4589906228</subfield><subfield code="h">OLR-GRUY-TEST</subfield><subfield code="k">Zugriff zeitlich begrenzt (EBS)</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">09-10-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4085159259</subfield><subfield code="h">EBS deGruyter</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">09-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="b">4492504451</subfield><subfield code="h">DeGryuterEBS2024</subfield><subfield code="u">verv</subfield><subfield code="y">zeg</subfield><subfield code="z">27-02-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="b">3938348976</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">kp</subfield><subfield code="y">l01</subfield><subfield code="z">14-06-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2006</subfield><subfield code="1">01</subfield><subfield code="x">DE-14</subfield><subfield code="b">4433074810</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">12-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2008</subfield><subfield code="1">01</subfield><subfield code="x">DE-24</subfield><subfield code="b">3364559279</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">kp</subfield><subfield code="k">** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen</subfield><subfield code="y">l01</subfield><subfield code="z">13-03-18</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2010</subfield><subfield code="1">01</subfield><subfield code="x">DE-15</subfield><subfield code="b">443302077X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">12-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2020</subfield><subfield code="1">01</subfield><subfield code="x">DE-Ch1</subfield><subfield code="b">4439871860</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">17-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2027</subfield><subfield code="1">01</subfield><subfield code="x">DE-105</subfield><subfield code="b">4462365607</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2044</subfield><subfield code="1">01</subfield><subfield code="x">DE-751</subfield><subfield code="b">458784330X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter)</subfield><subfield code="y">l01</subfield><subfield code="z">06-10-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2045</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mit1</subfield><subfield code="b">4490831919</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">25-02-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="b">4439871879</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige.</subfield><subfield code="y">l01</subfield><subfield code="z">17-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="b">3823923269</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">n</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">11-12-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2118</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mh35</subfield><subfield code="b">444355212X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">23-12-23</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="r">http://erf.sbb.spk-berlin.de/han/609779974/dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">E-books (deGruyter)</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">69</subfield><subfield code="1">01</subfield><subfield code="x">0009</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="r">http://hanproxy.gwlb.de/han/degruyter/dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">03</subfield><subfield code="x">0715</subfield><subfield code="r">http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014933519403501</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2006</subfield><subfield code="1">01</subfield><subfield code="x">DE-14</subfield><subfield code="r">https://www.degruyter.com/isbn/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2008</subfield><subfield code="1">01</subfield><subfield code="x">DE-24</subfield><subfield code="r">http://han.wlb-stuttgart.de/han/degruyter-eB/www.degruyter.com/books/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2010</subfield><subfield code="1">01</subfield><subfield code="x">DE-15</subfield><subfield code="y">Online-Zugriff</subfield><subfield code="r">https://www.degruyter.com/isbn/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2020</subfield><subfield code="1">01</subfield><subfield code="x">DE-Ch1</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2044</subfield><subfield code="1">01</subfield><subfield code="x">DE-751</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2045</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mit1</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2118</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mh35</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="8">00</subfield><subfield code="a">E-Book DeGruyter</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">eBook-DeGruyter-EBS-2021-2022</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2027</subfield><subfield code="1">01</subfield><subfield code="x">DE-105</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">ebook</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">00</subfield><subfield code="x">DE-715</subfield><subfield code="8">99</subfield><subfield code="a">ww</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="8">00</subfield><subfield code="0">(DE-627)1384640894</subfield><subfield code="a">e-Book</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="8">00</subfield><subfield code="0">(DE-627)1478403012</subfield><subfield code="a">e-Book De Gruyter</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="a">1 E 4388</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2016-02479, 2016-02480, 2016-02481, 2016-02482, 2016-02483</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">ebk1</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="a">ACQ</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="a">Einzelkauf</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="a">DeGruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="a">ebook_2023_degruyter_ebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="a">ebm</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">SUBedegebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-degruyter3</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="a">olr-dgebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="a">OLR-DeGruyterEBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="a">OLR-EBAKALL-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="a">DeGruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="a">OLR-ZDB-23-DPH</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">OLR-DG-PDA11SSHE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="a">OLR-HILdegruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="a">OLR-DEGRUYTER</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="a">OLR-DEGRUYTER-EBS-2018</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">03</subfield><subfield code="x">0715</subfield><subfield code="a">alma</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="a">OLR-deGruyter-EBA-EBKALL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="a">OLR-EBS-DG</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="a">OLR-GRUY-TEST</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">EBS deGruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="a">DeGryuterEBS2024</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="0">2016.12.18</subfield></datafield></record></collection>
series2	Ontos Mathematical Logic Ontos mathematical logic De Gruyter eBook-Paket Philosophie
standort_iln_str_mv	11:5:REMOTE 0001:5:REMOTE 22:--%%-- 0018:--%%-- 24:--%%-- 0008:--%%-- 60:--%%-- 0705:--%%-- 65:--%%-- 0003:--%%-- 120:--%%-- 0715:--%%-- 130:--%%-- 0700:--%%-- 2001:--%%-- DE-21:--%%-- 2006:--%%-- DE-14:--%%-- 2008:--%%-- DE-24:--%%-- 2010:--%%-- DE-15:--%%-- 2020:--%%-- DE-Ch1:--%%-- 2027:--%%-- DE-105:--%%-- 2044:--%%-- DE-751:--%%-- 2045:--%%-- DE-Mit1:--%%-- 2050:--%%-- DE-Zi4:--%%-- 2063:--%%-- DE-951:--%%-- 2118:--%%-- DE-Mh35:--%%--
ppnlink_with_tag_str_mv	@@830@@(DE-627)815397054
format	eBook
collection	KXP GVK SWB
remote_str	true
abrufzeichen_iln_str_mv	11@ACQ 11@Einzelkauf 11@DeGruyter 21@ebook_2023_degruyter_ebs 21@ebm 22@SUBedegebs 23@olr-degruyter3 24@olr-dgebs 31@OLR-DeGruyterEBS 34@OLR-EBAKALL-EBS 60@DeGruyter 65@OLR-ZDB-23-DPH 72@OLR-DG-PDA11SSHE 90@OLR-HILdegruyter 95@OLR-DEGRUYTER 110@OLR-DEGRUYTER-EBS-2018 120@alma 122@OLR-deGruyter-EBS 130@OLR-deGruyter-EBA-EBKALL 140@OLR-deGruyter-EBS 147@OLR-EBS-DG 264@OLR-deGruyter-EBS 285@OLR-GRUY-TEST 370@EBS deGruyter 736@DeGryuterEBS2024
abrufzeichen_iln_scis_mv	11@ACQ 11@Einzelkauf 11@DeGruyter 21@ebook_2023_degruyter_ebs 21@ebm 22@SUBedegebs 23@olr-degruyter3 24@olr-dgebs 31@OLR-DeGruyterEBS 34@OLR-EBAKALL-EBS 60@DeGruyter 65@OLR-ZDB-23-DPH 72@OLR-DG-PDA11SSHE 90@OLR-HILdegruyter 95@OLR-DEGRUYTER 110@OLR-DEGRUYTER-EBS-2018 120@alma 122@OLR-deGruyter-EBS 130@OLR-deGruyter-EBA-EBKALL 140@OLR-deGruyter-EBS 147@OLR-EBS-DG 264@OLR-deGruyter-EBS 285@OLR-GRUY-TEST 370@EBS deGruyter 736@DeGryuterEBS2024
author_corporate_role	aut
notation_local_iln_str_mv	120:ww DE-715:ww 2063:e-Book DE-951:e-Book 2063:e-Book De Gruyter DE-951:e-Book De Gruyter
publisher	De Gruyter
publisherStr	De Gruyter
topic	misc QA9.54 msc *03-06 msc 68-06 msc 03Fxx msc 00B25 misc Logic, Symbolic and mathematical misc Mathematics misc Proof theory misc Mathematische Logik. misc Philosophie der Mathematik. misc Theoretische Informatik. misc PHILOSOPHY / Epistemology misc Mathematical Logic misc Philosophy of Mathematics misc Theoretical Computer Science 31 E-Book DeGruyter 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook
topic_unstemmed	misc QA9.54 msc *03-06 msc 68-06 msc 03Fxx msc 00B25 misc Logic, Symbolic and mathematical misc Mathematics misc Proof theory misc Mathematische Logik. misc Philosophie der Mathematik. misc Theoretische Informatik. misc PHILOSOPHY / Epistemology misc Mathematical Logic misc Philosophy of Mathematics misc Theoretical Computer Science 31 E-Book DeGruyter 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook
topic_browse	misc QA9.54 msc *03-06 msc 68-06 msc 03Fxx msc 00B25 misc Logic, Symbolic and mathematical misc Mathematics misc Proof theory misc Mathematische Logik. misc Philosophie der Mathematik. misc Theoretische Informatik. misc PHILOSOPHY / Epistemology misc Mathematical Logic misc Philosophy of Mathematics misc Theoretical Computer Science 31 E-Book DeGruyter 2001 eBook-DeGruyter-EBS-2021-2022 2027 ebook
format_main_str_mv	Text Buch
format_details_str_mv	Konferenzschrift
carriertype_str_mv	cr
author2_variant	d p dp p m s pm pms
hierarchy_parent_title	Ontos mathematical logic
hierarchy_parent_id	815397054
author_corporate	Humboldt-Kolleg "Proof" Bern
isbn	9781501502620 150150262X 9781501502644 1501502646 9781501510809 1501510800
title	Concepts of proof in mathematics, philosophy, and computer science
geographic_facet	Bern
exemplarkommentar_str_mv	21@Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen 24@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 24@Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz). 31@Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen. 31@Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 34@Zugriff nur im Netz der HAW Hamburg 65@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 69@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 72@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 90@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 95@Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet 110@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 110@Volltextzugriff nur für berechtigte Personen über das Campusnetz 120@Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 122@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots 130@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 140@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots 147@Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek 147@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 264@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots 285@Zugriff zeitlich begrenzt (EBS) 285@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt. 370@Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots. 2008@*** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen 2010@Elektronischer Volltext - Campuslizenz 2020@Campuslizenz 2027@Campuslizenz 2044@Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter) 2045@Volltext - Campuslizenz 2050@Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige. 2063@Elektronischer Volltext - Campuslizenz 2118@Elektronischer Volltext - Campuslizenz
callnumber-first-code	Q
lang_code	eng
class_local	120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter
selektneu_str_mv	23@2016.12.18
recordtype	marc
contenttype_str_mv	txt
class_local_iln	120:ww DE-715:ww 2063:e-Book DE-951:e-Book 2063:e-Book De Gruyter DE-951:e-Book De Gruyter
physical	1 Online-Ressource (X, 374 Seiten)
class	QA9.54 *03-06 msc 68-06 msc 03Fxx msc 00B25 msc 120 00 DE-715 99 ww 2063 01 DE-951 00 (DE-627)1384640894 e-Book 2063 01 DE-951 00 (DE-627)1478403012 e-Book De Gruyter
classname_local_iln_str_mv	120: DE-715: 2063: DE-951:
normlink	1111667128 865844690 476237173 1071861417 826484824 433375485 1111666709 86639303X 476236908 173129951 69805248X 133981363 1384640894 1478403012 2016.12.18
normlink_prefix_str_mv	(DE-588)1111667128 (DE-627)865844690 (DE-576)476237173 (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 (DE-588)1111666709 (DE-627)86639303X (DE-576)476236908 (DE-588)173129951 (DE-627)69805248X (DE-576)133981363 (DE-627)1384640894 (DE-627)1478403012 2016.12.18
callnumber	QA9.54
collection_details	EBA-BACKALL EBA-CL-MTPY EBA-CL-PLTLJSIS EBA-DGALL EBA-EBACKALL EBA-EBKALL EBA-ECL-MTPY EBA-ECL-PLTLJSIS EBA-EEBKALL EBA-ESSHALL EBA-ESTMALL EBA-SSHALL EBA-STMALL GBV-23-DGG-HSU GBV-deGruyter-alles ZDB-23-DGG ZDB-23-DPH GBV_ILN_11 ISIL_DE-1a SYSFLAG_1 GBV_KXP SSG-OPC-MAT GBV_ILN_21 ISIL_DE-46 GBV_ILN_22 ISIL_DE-18 GBV_ILN_23 ISIL_DE-830 GBV_ILN_24 ISIL_DE-8 GBV_ILN_31 ISIL_DE-27 GBV_ILN_34 ISIL_DE-18-302 GBV_ILN_60 ISIL_DE-705 GBV_ILN_65 ISIL_DE-3 GBV_ILN_69 ISIL_DE-9 GBV_ILN_72 ISIL_DE-35 GBV_ILN_90 ISIL_DE-Hil2 GBV_ILN_95 ISIL_DE-542 GBV_ILN_110 ISIL_DE-Luen4 GBV_ILN_120 ISIL_DE-715 GBV_ILN_122 ISIL_DE-897 GBV_ILN_130 ISIL_DE-700 GBV_ILN_140 ISIL_DE-839 GBV_ILN_147 ISIL_DE-Fl3 GBV_ILN_264 ISIL_DE-897-1 GBV_ILN_285 ISIL_DE-517 GBV_ILN_370 ISIL_DE-1373 GBV_ILN_736 GBV_ILN_2001 ISIL_DE-21 GBV_ILN_2006 ISIL_DE-14 GBV_ILN_2008 ISIL_DE-24 GBV_ILN_2010 ISIL_DE-15 GBV_ILN_2020 ISIL_DE-Ch1 GBV_ILN_2027 ISIL_DE-105 GBV_ILN_2044 ISIL_DE-751 GBV_ILN_2045 ISIL_DE-Mit1 GBV_ILN_2050 ISIL_DE-Zi4 GBV_ILN_2063 ISIL_DE-951 GBV_ILN_2118 ISIL_DE-Mh35
title_short	Concepts of proof in mathematics, philosophy, and computer science
ausleihindikator_str_mv	11:s 21 22:s 23 24:s 31 34 60:s 65:- 69 72 90 95 110 120 120:g 122 130:s 140 147 264 285 370 736 2001:- 2006:- 2008:- 2010:- 2020:- 2027:- 2044:- 2045:- 2050:- 2063:n 2118:-
rolewithnormlink_str_mv	@@aut@@(DE-588)1111667128 @@655@@(DE-588)1071861417 @@edt@@(DE-588)1111666709 @@edt@@(DE-588)173129951
remote_bool	true
doi_str	10.1515/9781501502620
callnumber-a	QA9.54
up_date	2024-10-10T11:23:15.256Z
_version_	1812525896443101184
fullrecord_marcxml	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000cam a2200265 4500</leader><controlfield tag="001">866216022</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20241006175942.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">161027s2016 gw \|\|\|\|\|o 00\| \|\|eng c</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781501502620</subfield><subfield code="9">978-1-5015-0262-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781501502644</subfield><subfield code="9">978-1-5015-0264-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9781501502620</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)866216022</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-576)478832990</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV866216022</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)956701728</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZBM)1345.03009</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZBM)1345.03009</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EBP)005984602</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)451552</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">eng</subfield><subfield code="c">DE-627</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-DE</subfield><subfield code="c">XD-US</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">MAT015000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI004000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Fxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">00B25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Humboldt-Kolleg "Proof"</subfield><subfield code="d">2013</subfield><subfield code="c">Bern</subfield><subfield code="j">VerfasserIn</subfield><subfield code="0">(DE-588)1111667128</subfield><subfield code="0">(DE-627)865844690</subfield><subfield code="0">(DE-576)476237173</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concepts of proof in mathematics, philosophy, and computer science</subfield><subfield code="c">edited by Dieter Probst and Peter Schuster</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="a">Boston</subfield><subfield code="b">De Gruyter</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 (X, 374 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">Computermedien</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Online-Ressource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Ontos Mathematical Logic</subfield><subfield code="v">6</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Ontos mathematical logic</subfield><subfield code="v">volume 6</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">De Gruyter eBook-Paket Philosophie</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Beiträge des Humboldt-Kollegs "Proof", Bern, 9.-13. September 2013</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="a">Frontmatter -- -- Preface -- -- Contents -- -- Introduction -- -- Herbrand Confluence for First-Order Proofs with Π -- -- Proof-Oriented Categorical Semantics -- -- Logic for Gray-code Computation -- -- The Continuum Hypothesis Implies Excluded Middle -- -- Theories of Proof-Theoretic Strength Ψ (Γ -- -- Some Remarks about Normal Rings -- -- On Sets of Premises -- -- Non-Deterministic Inductive Definitions and Fullness -- -- Cyclic Proofs for Linear Temporal Logic -- -- Craig Interpolation via Hypersequents -- -- A General View on Normal Form Theorems for Łukasiewicz Logic with Product -- -- Relating Quotient Completions via Categorical Logic -- -- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics -- -- Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction -- -- Hilbert’s Programme and Ordinal Analysis -- -- Aristotle’s Deductive Logic: a Proof-Theoretical Study -- -- Remarks on Barr’s Theorem: Proofs in Geometric Theories</subfield></datafield><datafield tag="506" ind1="1" ind2=" "><subfield code="a">Restricted Access</subfield><subfield code="e">Controlled Vocabulary for Access Rights</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematische Logik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie der Mathematik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theoretische Informatik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">PHILOSOPHY / Epistemology</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Mathematical Logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Philosophy of Mathematics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Theoretical Computer Science</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Bern</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="0">(DE-627)826484824</subfield><subfield code="0">(DE-576)433375485</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Probst, Dieter</subfield><subfield code="d">1973-</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)1111666709</subfield><subfield code="0">(DE-627)86639303X</subfield><subfield code="0">(DE-576)476236908</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuster, Peter Michael</subfield><subfield code="d">1966-</subfield><subfield code="e">herausgeberin</subfield><subfield code="0">(DE-588)173129951</subfield><subfield code="0">(DE-627)69805248X</subfield><subfield code="0">(DE-576)133981363</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="1" ind2=" "><subfield code="z">9781501510809</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="z">978-1-5015-1080-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Ontos mathematical logic</subfield><subfield code="v">Volume 6</subfield><subfield code="9">6</subfield><subfield code="w">(DE-627)815397054</subfield><subfield code="w">(DE-576)424665190</subfield><subfield code="w">(DE-600)2805726-0</subfield><subfield code="x">2198-235X</subfield><subfield code="7">ns</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://dx.doi.org/10.1515/9781501502620</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9781501502620</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9781501502620</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="z">lizenzpflichtig</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://www.degruyter.com/doc/cover/9781501502620.jpg</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/doc/cover/9781501502620.jpg</subfield><subfield code="m">X:GRUY</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://zbmath.org/?q=an:1345.03009</subfield><subfield code="m">B:ZBM</subfield><subfield code="v">2021-04-12</subfield><subfield code="x">Verlag</subfield><subfield code="y">Zentralblatt MATH</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/cover/covers/9781501502620.jpg</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">https://www.degruyter.com/document/cover/isbn/9781501502620/original</subfield><subfield code="m">X:GRUY</subfield><subfield code="x">Verlag</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-CL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-CL-PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EBACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ECL-MTPY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ECL-PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-EEBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ESSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-ESTMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA-STMALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-23-DGG-HSU</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="b">2016</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DPH</subfield><subfield code="b">2016</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_11</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1a</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_KXP</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-46</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_23</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-830</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-8</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_31</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-27</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_34</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-18-302</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_60</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-705</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_69</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-9</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_72</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-35</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_90</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Hil2</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_95</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-542</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_110</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Luen4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_120</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-715</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_122</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-897</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_130</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-700</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_140</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-839</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_147</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Fl3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_264</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-897-1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_285</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-517</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_370</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-1373</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_736</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2001</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-21</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2006</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-14</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2008</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2010</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-15</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2020</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Ch1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2044</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-751</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2045</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Mit1</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2050</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Zi4</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2063</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-951</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2118</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ISIL_DE-Mh35</subfield></datafield><datafield tag="935" ind1=" " ind2=" "><subfield code="i">Blocktest</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">BO</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">511.36</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">511.3/6</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="b">171363953X</subfield><subfield code="c">00</subfield><subfield code="f">5:REMOTE</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">ACQ</subfield><subfield code="y">k</subfield><subfield code="z">28-09-17</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="b">1835071821</subfield><subfield code="h">ebook_2023_degruyter_ebs</subfield><subfield code="k">Freie Nutzung im <a href="http://nbn-resolving.de/urn:nbn:de:gbv:46-campusnetz9" Target="_blank">Campusnetz</a> der Universitaet und der Hochschulen im Lande Bremen</subfield><subfield code="y">zza</subfield><subfield code="z">23-12-18</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="b">4108256417</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">SUBedegebs</subfield><subfield code="y">zu</subfield><subfield code="z">31-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="b">1653325518</subfield><subfield code="h">olr-degruyter3</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">18-12-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="b">3805195931</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">olr-dgebs</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="k">Zugriff auf den Volltext nur für Universitätsangehörige innerhalb des Netzes der Universität Kiel (Campuslizenz).</subfield><subfield code="y">z</subfield><subfield code="z">17-11-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="b">3868647422</subfield><subfield code="h">OLR-DeGruyterEBS</subfield><subfield code="k">Zugang zeitlich begrenzt. Dauerhaften Zugang über Formular für Anschaffungsvorschläge anfragen.</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">20-02-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="b">4077950864</subfield><subfield code="h">OLR-EBAKALL-EBS</subfield><subfield code="k">Zugriff nur im Netz der HAW Hamburg</subfield><subfield code="y">z</subfield><subfield code="z">03-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="b">3825258041</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">DeGruyter</subfield><subfield code="u">verv</subfield><subfield code="u">shib</subfield><subfield code="y">z</subfield><subfield code="z">13-12-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="b">1641648880</subfield><subfield code="c">03</subfield><subfield code="f">--%%--</subfield><subfield code="d">ebook</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-ZDB-23-DPH</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">k3o</subfield><subfield code="z">17-10-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">69</subfield><subfield code="1">01</subfield><subfield code="x">0009</subfield><subfield code="b">3755498391</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="u">BF_dG</subfield><subfield code="y">z</subfield><subfield code="z">15-09-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="b">1742605192</subfield><subfield code="h">OLR-DG-PDA11SSHE</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">18-01-18</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="b">1633475468</subfield><subfield code="h">OLR-HILdegruyter</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">25-08-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="b">1729878873</subfield><subfield code="h">OLR-DEGRUYTER</subfield><subfield code="k">Ausdruck und Kopien sind ausschließlich für den eigenen wissenschaftlichen Gebrauch gestattet</subfield><subfield code="y">z1</subfield><subfield code="z">11-12-17</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="b">1809576059</subfield><subfield code="h">OLR-DEGRUYTER-EBS-2018</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="k">Volltextzugriff nur für berechtigte Personen über das Campusnetz</subfield><subfield code="y">z</subfield><subfield code="z">02-10-18</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="b">1633485730</subfield><subfield code="k">Campusweiter Zugriff (Universität Oldenburg). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="y">z</subfield><subfield code="z">25-08-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">03</subfield><subfield code="x">0715</subfield><subfield code="b">3581683199</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">g</subfield><subfield code="j">--%%--</subfield><subfield code="h">alma</subfield><subfield code="y">z</subfield><subfield code="z">24-01-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="b">1651533164</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">14-12-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="b">3985663459</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">s</subfield><subfield code="j">--%%--</subfield><subfield code="h">OLR-deGruyter-EBA-EBKALL</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">09-10-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="b">165194492X</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">14-12-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="b">3787694757</subfield><subfield code="h">OLR-EBS-DG</subfield><subfield code="k">Multiuser \| freigeschaltet für Europa-Universität Flensburg, Hochschule Flensburg und Zentrale Hochschulbibliothek</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">27-10-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="b">1652476237</subfield><subfield code="h">OLR-deGruyter-EBS</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots</subfield><subfield code="y">z</subfield><subfield code="z">15-12-16</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="b">4589906228</subfield><subfield code="h">OLR-GRUY-TEST</subfield><subfield code="k">Zugriff zeitlich begrenzt (EBS)</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Die Weitergabe an Dritte sowie systematisches Downloaden sind untersagt.</subfield><subfield code="y">z</subfield><subfield code="z">09-10-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="b">4085159259</subfield><subfield code="h">EBS deGruyter</subfield><subfield code="k">Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.</subfield><subfield code="u">i</subfield><subfield code="y">z</subfield><subfield code="z">09-03-22</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="b">4492504451</subfield><subfield code="h">DeGryuterEBS2024</subfield><subfield code="u">verv</subfield><subfield code="y">zeg</subfield><subfield code="z">27-02-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="b">3938348976</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">kp</subfield><subfield code="y">l01</subfield><subfield code="z">14-06-21</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2006</subfield><subfield code="1">01</subfield><subfield code="x">DE-14</subfield><subfield code="b">4433074810</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">--%%--</subfield><subfield code="y">l01</subfield><subfield code="z">12-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2008</subfield><subfield code="1">01</subfield><subfield code="x">DE-24</subfield><subfield code="b">3364559279</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">kp</subfield><subfield code="k">** Volltext-Zugang für registrierte Benutzer in der Bibliothek und von außen</subfield><subfield code="y">l01</subfield><subfield code="z">13-03-18</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2010</subfield><subfield code="1">01</subfield><subfield code="x">DE-15</subfield><subfield code="b">443302077X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">12-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2020</subfield><subfield code="1">01</subfield><subfield code="x">DE-Ch1</subfield><subfield code="b">4439871860</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">17-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2027</subfield><subfield code="1">01</subfield><subfield code="x">DE-105</subfield><subfield code="b">4462365607</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">18-01-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2044</subfield><subfield code="1">01</subfield><subfield code="x">DE-751</subfield><subfield code="b">458784330X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Campuslizenz bis 30.09.2025. Bitte beachten Sie die Nutzungshinweise auf unserer Homepage (de Gruyter)</subfield><subfield code="y">l01</subfield><subfield code="z">06-10-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2045</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mit1</subfield><subfield code="b">4490831919</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">25-02-24</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="b">4439871879</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">--%%--</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Zugriff im HSZG-Campusnetz. Zugriff von auβerhalb nur für HSZG-Angehörige.</subfield><subfield code="y">l01</subfield><subfield code="z">17-12-23</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="b">3823923269</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">n</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">11-12-20</subfield></datafield><datafield tag="980" ind1=" " ind2=" "><subfield code="2">2118</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mh35</subfield><subfield code="b">444355212X</subfield><subfield code="c">00</subfield><subfield code="f">--%%--</subfield><subfield code="d">eBook de Gruyter</subfield><subfield code="e">--%%--</subfield><subfield code="j">n</subfield><subfield code="k">Elektronischer Volltext - Campuslizenz</subfield><subfield code="y">l01</subfield><subfield code="z">23-12-23</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="r">http://erf.sbb.spk-berlin.de/han/609779974/dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="y">Volltextzugang von außerhalb des Campus</subfield><subfield code="r">http://emedien.sub.uni-hamburg.de/han/degruyterebooks/doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="y">E-books (deGruyter)</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="y">Volltextzugang Campus</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">69</subfield><subfield code="1">01</subfield><subfield code="x">0009</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="r">http://hanproxy.gwlb.de/han/degruyter/dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">01</subfield><subfield code="x">0715</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">03</subfield><subfield code="x">0715</subfield><subfield code="r">http://49gbv-uob-primo.hosted.exlibrisgroup.com/openurl/49GBV_UOB/UOB_services_page?u.ignore_date_coverage=true&rft.mms_id=991014933519403501</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="r">http://dx.doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="y">E-Book: Zugriff im HCU-Netz. Zugriff von außerhalb nur für HCU-Angehörige möglich</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2006</subfield><subfield code="1">01</subfield><subfield code="x">DE-14</subfield><subfield code="r">https://www.degruyter.com/isbn/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2008</subfield><subfield code="1">01</subfield><subfield code="x">DE-24</subfield><subfield code="r">http://han.wlb-stuttgart.de/han/degruyter-eB/www.degruyter.com/books/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2010</subfield><subfield code="1">01</subfield><subfield code="x">DE-15</subfield><subfield code="y">Online-Zugriff</subfield><subfield code="r">https://www.degruyter.com/isbn/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2020</subfield><subfield code="1">01</subfield><subfield code="x">DE-Ch1</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2044</subfield><subfield code="1">01</subfield><subfield code="x">DE-751</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2045</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mit1</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2050</subfield><subfield code="1">01</subfield><subfield code="x">DE-Zi4</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="981" ind1=" " ind2=" "><subfield code="2">2118</subfield><subfield code="1">01</subfield><subfield code="x">DE-Mh35</subfield><subfield code="r">https://doi.org/10.1515/9781501502620</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="8">00</subfield><subfield code="a">E-Book DeGruyter</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2001</subfield><subfield code="1">01</subfield><subfield code="x">DE-21</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">eBook-DeGruyter-EBS-2021-2022</subfield></datafield><datafield tag="982" ind1=" " ind2=" "><subfield code="2">2027</subfield><subfield code="1">01</subfield><subfield code="x">DE-105</subfield><subfield code="8">00</subfield><subfield code="s">s</subfield><subfield code="a">ebook</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">00</subfield><subfield code="x">DE-715</subfield><subfield code="8">99</subfield><subfield code="a">ww</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="8">00</subfield><subfield code="0">(DE-627)1384640894</subfield><subfield code="a">e-Book</subfield></datafield><datafield tag="983" ind1=" " ind2=" "><subfield code="2">2063</subfield><subfield code="1">01</subfield><subfield code="x">DE-951</subfield><subfield code="8">00</subfield><subfield code="0">(DE-627)1478403012</subfield><subfield code="a">e-Book De Gruyter</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="a">1 E 4388</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">2016-02479, 2016-02480, 2016-02481, 2016-02482, 2016-02483</subfield></datafield><datafield tag="985" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">ebk1</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="a">ACQ</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="a">Einzelkauf</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">11</subfield><subfield code="1">01</subfield><subfield code="x">0001</subfield><subfield code="a">DeGruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="a">ebook_2023_degruyter_ebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">21</subfield><subfield code="1">01</subfield><subfield code="x">0046</subfield><subfield code="a">ebm</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">22</subfield><subfield code="1">01</subfield><subfield code="x">0018</subfield><subfield code="a">SUBedegebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="a">olr-degruyter3</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">24</subfield><subfield code="1">01</subfield><subfield code="x">0008</subfield><subfield code="a">olr-dgebs</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">31</subfield><subfield code="1">01</subfield><subfield code="x">0027</subfield><subfield code="a">OLR-DeGruyterEBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">34</subfield><subfield code="1">01</subfield><subfield code="x">3551</subfield><subfield code="a">OLR-EBAKALL-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">60</subfield><subfield code="1">01</subfield><subfield code="x">0705</subfield><subfield code="a">DeGruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">65</subfield><subfield code="1">01</subfield><subfield code="x">0003</subfield><subfield code="a">OLR-ZDB-23-DPH</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">72</subfield><subfield code="1">01</subfield><subfield code="x">0035</subfield><subfield code="a">OLR-DG-PDA11SSHE</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">90</subfield><subfield code="1">01</subfield><subfield code="x">3090</subfield><subfield code="a">OLR-HILdegruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">95</subfield><subfield code="1">01</subfield><subfield code="x">3095</subfield><subfield code="a">OLR-DEGRUYTER</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">110</subfield><subfield code="1">01</subfield><subfield code="x">3110</subfield><subfield code="a">OLR-DEGRUYTER-EBS-2018</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">120</subfield><subfield code="1">03</subfield><subfield code="x">0715</subfield><subfield code="a">alma</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">122</subfield><subfield code="1">01</subfield><subfield code="x">0897</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">130</subfield><subfield code="1">01</subfield><subfield code="x">0700</subfield><subfield code="a">OLR-deGruyter-EBA-EBKALL</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">140</subfield><subfield code="1">01</subfield><subfield code="x">0839</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">147</subfield><subfield code="1">01</subfield><subfield code="x">3528</subfield><subfield code="a">OLR-EBS-DG</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">264</subfield><subfield code="1">01</subfield><subfield code="x">3264</subfield><subfield code="a">OLR-deGruyter-EBS</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">285</subfield><subfield code="1">01</subfield><subfield code="x">0517</subfield><subfield code="a">OLR-GRUY-TEST</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">370</subfield><subfield code="1">01</subfield><subfield code="x">4370</subfield><subfield code="a">EBS deGruyter</subfield></datafield><datafield tag="995" ind1=" " ind2=" "><subfield code="2">736</subfield><subfield code="1">01</subfield><subfield code="x">4736</subfield><subfield code="a">DeGryuterEBS2024</subfield></datafield><datafield tag="998" ind1=" " ind2=" "><subfield code="2">23</subfield><subfield code="1">01</subfield><subfield code="x">0830</subfield><subfield code="0">2016.12.18</subfield></datafield></record></collection>
score	6.8986177

Nicht das Richtige dabei?

Schreiben Sie uns!

Concepts of proof in mathematics, philosophy, and computer science

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?