Verfügbarkeit: Type theory and formal proof | Technische Universität München

Type theory and formal proof: an introduction

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Nederpelt, Rob 1942- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cambridge Cambridge University Press [2014]
Schlagwörter:	Type theory Beweistheorie Typentheorie
Links:	https://doi.org/10.1017/CBO9781139567725 https://doi.org/10.1017/CBO9781139567725 https://doi.org/10.1017/CBO9781139567725 https://doi.org/10.1017/CBO9781139567725 https://doi.org/10.1017/CBO9781139567725 https://doi.org/10.1017/CBO9781139567725
Beschreibung:	Title from publisher's bibliographic system (viewed on 05 Oct 2015)
Umfang:	1 Online-Ressource (xxv, 436 Seiten) Illustrationen
ISBN:	9781139567725
DOI:	10.1017/CBO9781139567725

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV043943187
003	DE-604
005	20240621
007	cr\|uuu---uuuuu
008	161206s2014 xx a\|\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 9781139567725 \|c Online \|9 978-1-139-56772-5
024	7		\|a 10.1017/CBO9781139567725 \|2 doi
035			\|a (ZDB-20-CBO)CR9781139567725
035			\|a (OCoLC)907963920
035			\|a (DE-599)BVBBV043943187
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-12 \|a DE-29 \|a DE-92 \|a DE-739 \|a DE-19 \|a DE-11 \|a DE-83
082	0		\|a 551.3 \|2 23
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
100	1		\|a Nederpelt, Rob \|d 1942- \|e Verfasser \|0 (DE-588)115937077X \|4 aut
245	1	0	\|a Type theory and formal proof \|b an introduction \|c Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
246	1	3	\|a Type Theory & Formal Proof
264		1	\|a Cambridge \|b Cambridge University Press \|c [2014]
264		4	\|c © 2014
300			\|a 1 Online-Ressource (xxv, 436 Seiten) \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a Title from publisher's bibliographic system (viewed on 05 Oct 2015)
650		4	\|a Type theory
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Typentheorie \|0 (DE-588)4121795-0 \|2 gnd \|9 rswk-swf
689	0	0	\|a Typentheorie \|0 (DE-588)4121795-0 \|D s
689	0	1	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Geuvers, Herman \|d 1964- \|e Sonstige \|0 (DE-588)1066888620 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-1-107-03650-5
856	4	0	\|u https://doi.org/10.1017/CBO9781139567725 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-20-CBO
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-029352158
966	e		\|u https://doi.org/10.1017/CBO9781139567725 \|l DE-12 \|p ZDB-20-CBO \|q BSB_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139567725 \|l DE-92 \|p ZDB-20-CBO \|q FHN_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139567725 \|l DE-19 \|p ZDB-20-CBO \|q UBM_PDA_CBO_Kauf_2024 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139567725 \|l DE-29 \|p ZDB-20-CBO \|q UER_PDA_CBO_Kauf \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139567725 \|l DE-739 \|p ZDB-20-CBO \|q UPA_PDA_CBO_Kauf2019 \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1818982571734728704
any_adam_object
author	Nederpelt, Rob 1942-
author_GND	(DE-588)115937077X (DE-588)1066888620
author_facet	Nederpelt, Rob 1942-
author_role	aut
author_sort	Nederpelt, Rob 1942-
author_variant	r n rn
building	Verbundindex
bvnumber	BV043943187
classification_rvk	SK 130 ST 130
collection	ZDB-20-CBO
ctrlnum	(ZDB-20-CBO)CR9781139567725 (OCoLC)907963920 (DE-599)BVBBV043943187
dewey-full	551.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	551 - Geology, hydrology, meteorology
dewey-raw	551.3
dewey-search	551.3
dewey-sort	3551.3
dewey-tens	550 - Earth sciences
discipline	Geologie / Paläontologie Informatik Mathematik
doi_str_mv	10.1017/CBO9781139567725
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02572nam a2200541 c 4500</leader><controlfield tag="001">BV043943187</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240621 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">161206s2014 xx a\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139567725</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-139-56772-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9781139567725</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781139567725</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)907963920</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043943187</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">551.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Nederpelt, Rob</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115937077X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Type theory and formal proof</subfield><subfield code="b">an introduction</subfield><subfield code="c">Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Type Theory & Formal Proof</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxv, 436 Seiten)</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Type theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Typentheorie</subfield><subfield code="0">(DE-588)4121795-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Geuvers, Herman</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1066888620</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-107-03650-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9781139567725</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029352158</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139567725</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139567725</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139567725</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBM_PDA_CBO_Kauf_2024</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139567725</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UER_PDA_CBO_Kauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139567725</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UPA_PDA_CBO_Kauf2019</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV043943187
illustrated	Illustrated
indexdate	2024-12-20T17:49:20Z
institution	BVB
isbn	9781139567725
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029352158
oclc_num	907963920
open_access_boolean
owner	DE-12 DE-29 DE-92 DE-739 DE-19 DE-BY-UBM DE-11 DE-83
owner_facet	DE-12 DE-29 DE-92 DE-739 DE-19 DE-BY-UBM DE-11 DE-83
physical	1 Online-Ressource (xxv, 436 Seiten) Illustrationen
psigel	ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO UBM_PDA_CBO_Kauf_2024 ZDB-20-CBO UER_PDA_CBO_Kauf ZDB-20-CBO UPA_PDA_CBO_Kauf2019
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Cambridge University Press
record_format	marc
spelling	Nederpelt, Rob 1942- Verfasser (DE-588)115937077X aut Type theory and formal proof an introduction Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands Type Theory & Formal Proof Cambridge Cambridge University Press [2014] © 2014 1 Online-Ressource (xxv, 436 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) Type theory Beweistheorie (DE-588)4145177-6 gnd rswk-swf Typentheorie (DE-588)4121795-0 gnd rswk-swf Typentheorie (DE-588)4121795-0 s Beweistheorie (DE-588)4145177-6 s 1\p DE-604 Geuvers, Herman 1964- Sonstige (DE-588)1066888620 oth Erscheint auch als Druck-Ausgabe 978-1-107-03650-5 https://doi.org/10.1017/CBO9781139567725 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Nederpelt, Rob 1942- Type theory and formal proof an introduction Type theory Beweistheorie (DE-588)4145177-6 gnd Typentheorie (DE-588)4121795-0 gnd
subject_GND	(DE-588)4145177-6 (DE-588)4121795-0
title	Type theory and formal proof an introduction
title_alt	Type Theory & Formal Proof
title_auth	Type theory and formal proof an introduction
title_exact_search	Type theory and formal proof an introduction
title_full	Type theory and formal proof an introduction Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
title_fullStr	Type theory and formal proof an introduction Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
title_full_unstemmed	Type theory and formal proof an introduction Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands
title_short	Type theory and formal proof
title_sort	type theory and formal proof an introduction
title_sub	an introduction
topic	Type theory Beweistheorie (DE-588)4145177-6 gnd Typentheorie (DE-588)4121795-0 gnd
topic_facet	Type theory Beweistheorie Typentheorie
url	https://doi.org/10.1017/CBO9781139567725
work_keys_str_mv	AT nederpeltrob typetheoryandformalproofanintroduction AT geuversherman typetheoryandformalproofanintroduction AT nederpeltrob typetheoryformalproof AT geuversherman typetheoryformalproof

Verfügbarkeit

‌

Online lesen