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

Basic proof theory:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Troelstra, Anne S. 1939-2019 (VerfasserIn), Schwichtenberg, Helmut 1942- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cambridge Cambridge University Press [2000]
Ausgabe:	Second edition
Schriftenreihe:	Cambridge tracts in theoretical computer science 43
Schlagwörter:	Bewijstheorie Logique symbolique et mathématique Preuve, Théorie de la logique 1er ordre programmation en logique théorie catégorie théorie démonstration Proof theory Beweistheorie
Links:	https://doi.org/10.1017/CBO9781139168717 https://doi.org/10.1017/CBO9781139168717 https://doi.org/10.1017/CBO9781139168717 https://doi.org/10.1017/CBO9781139168717 https://doi.org/10.1017/CBO9781139168717 https://doi.org/10.1017/CBO9781139168717 https://doi.org/10.1017/CBO9781139168717 https://doi.org/10.1017/CBO9781139168717 https://doi.org/10.1017/CBO9781139168717
Umfang:	1 Online-Ressource (XII, 417 Seiten)
ISBN:	9781139168717
DOI:	10.1017/CBO9781139168717

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV043545265
003	DE-604
005	20230823
007	cr\|uuu---uuuuu
008	160509s2000 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9781139168717 \|c Online \|9 978-1-139-16871-7
024	7		\|a 10.1017/CBO9781139168717 \|2 doi
035			\|a (ZDB-20-CBO)CR9781139168717
035			\|a (OCoLC)951181823
035			\|a (DE-599)BVBBV043545265
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-473 \|a DE-12 \|a DE-92 \|a DE-91G \|a DE-29 \|a DE-739 \|a DE-19
050		0	\|a QA9.54
082	0		\|a 511.3 \|2 21
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a ST 130 \|0 (DE-625)143588: \|2 rvk
084			\|a CC 3200 \|0 (DE-625)17614: \|2 rvk
084			\|a MAT 036 \|2 stub
084			\|a DAT 706 \|2 stub
100	1		\|a Troelstra, Anne S. \|d 1939-2019 \|e Verfasser \|0 (DE-588)131940058 \|4 aut
245	1	0	\|a Basic proof theory \|c A.S. Troelstra University of Amsterdam, H. Schwichtenberg University of Munich
250			\|a Second edition
264		1	\|a Cambridge \|b Cambridge University Press \|c [2000]
264		4	\|c © 2000
300			\|a 1 Online-Ressource (XII, 417 Seiten)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Cambridge tracts in theoretical computer science \|v 43
650		7	\|a Bewijstheorie \|2 gtt
650		7	\|a Logique symbolique et mathématique \|2 ram
650		4	\|a Preuve, Théorie de la
650		7	\|a Preuve, Théorie de la \|2 ram
650		7	\|a logique 1er ordre \|2 inriac
650		7	\|a programmation en logique \|2 inriac
650		7	\|a théorie catégorie \|2 inriac
650		7	\|a théorie démonstration \|2 inriac
650		4	\|a Proof theory
650	0	7	\|a Beweistheorie \|0 (DE-588)4145177-6 \|2 gnd \|9 rswk-swf
689	0	0	\|a Beweistheorie \|0 (DE-588)4145177-6 \|D s
689	0		\|5 DE-604
700	1		\|a Schwichtenberg, Helmut \|d 1942- \|e Verfasser \|0 (DE-588)1023588242 \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-0-521-77911-1
830		0	\|a Cambridge tracts in theoretical computer science \|v 43 \|w (DE-604)BV000754528 \|9 43
856	4	0	\|u https://doi.org/10.1017/CBO9781139168717 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-20-CBO
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028960646
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l DE-12 \|p ZDB-20-CBO \|q BSB_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l DE-92 \|p ZDB-20-CBO \|q FHN_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l DE-91 \|p ZDB-20-CBO \|q TUM_Einzelkauf \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l DE-91G \|p ZDB-20-CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l DE-473 \|p ZDB-20-CBO \|q UBG_Einzelkauf \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l DE-19 \|p ZDB-20-CBO \|q UBM_PDA_CBO_Kauf_2023 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l DE-29 \|p ZDB-20-CBO \|q UER_Einzelkauf \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l DE-739 \|p ZDB-20-CBO \|q UPA_PDA_CBO_Kauf2019 \|x Verlag \|3 Volltext

Datensatz im Suchindex

DE-BY-TUM_katkey	2655664
_version_	1821936344021073921
any_adam_object
author	Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942-
author_GND	(DE-588)131940058 (DE-588)1023588242
author_facet	Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942-
author_role	aut aut
author_sort	Troelstra, Anne S. 1939-2019
author_variant	a s t as ast h s hs
building	Verbundindex
bvnumber	BV043545265
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9.54
callnumber-search	QA9.54
callnumber-sort	QA 19.54
callnumber-subject	QA - Mathematics
classification_rvk	SK 130 ST 130 CC 3200
classification_tum	MAT 036 DAT 706
collection	ZDB-20-CBO
ctrlnum	(ZDB-20-CBO)CR9781139168717 (OCoLC)951181823 (DE-599)BVBBV043545265
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik Philosophie
doi_str_mv	10.1017/CBO9781139168717
edition	Second edition
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03118nam a2200697zcb4500</leader><controlfield tag="001">BV043545265</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20230823 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">160509s2000 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139168717</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-139-16871-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9781139168717</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781139168717</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)951181823</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043545265</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-473</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</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="084" ind1=" " ind2=" "><subfield code="a">CC 3200</subfield><subfield code="0">(DE-625)17614:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 036</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Troelstra, Anne S.</subfield><subfield code="d">1939-2019</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131940058</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Basic proof theory</subfield><subfield code="c">A.S. Troelstra University of Amsterdam, H. Schwichtenberg University of Munich</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">[2000]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 417 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">43</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bewijstheorie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Preuve, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Preuve, Théorie de la</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie catégorie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie démonstration</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1023588242</subfield><subfield code="4">aut</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-0-521-77911-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science</subfield><subfield code="v">43</subfield><subfield code="w">(DE-604)BV000754528</subfield><subfield code="9">43</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9781139168717</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028960646</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139168717</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/CBO9781139168717</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/CBO9781139168717</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">TUM_Einzelkauf</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/CBO9781139168717</subfield><subfield code="l">DE-91G</subfield><subfield code="p">ZDB-20-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/CBO9781139168717</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBG_Einzelkauf</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/CBO9781139168717</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBM_PDA_CBO_Kauf_2023</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/CBO9781139168717</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UER_Einzelkauf</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/CBO9781139168717</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.BV043545265
illustrated	Not Illustrated
indexdate	2024-12-20T17:39:08Z
institution	BVB
isbn	9781139168717
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028960646
oclc_num	951181823
open_access_boolean
owner	DE-473 DE-BY-UBG DE-12 DE-92 DE-91G DE-BY-TUM DE-29 DE-739 DE-19 DE-BY-UBM
owner_facet	DE-473 DE-BY-UBG DE-12 DE-92 DE-91G DE-BY-TUM DE-29 DE-739 DE-19 DE-BY-UBM
physical	1 Online-Ressource (XII, 417 Seiten)
psigel	ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO TUM_Einzelkauf ZDB-20-CBO UBG_Einzelkauf ZDB-20-CBO UBM_PDA_CBO_Kauf_2023 ZDB-20-CBO UER_Einzelkauf ZDB-20-CBO UPA_PDA_CBO_Kauf2019
publishDate	2000
publishDateSearch	2000
publishDateSort	2000
publisher	Cambridge University Press
record_format	marc
series	Cambridge tracts in theoretical computer science
series2	Cambridge tracts in theoretical computer science
spellingShingle	Troelstra, Anne S. 1939-2019 Schwichtenberg, Helmut 1942- Basic proof theory Cambridge tracts in theoretical computer science Bewijstheorie gtt Logique symbolique et mathématique ram Preuve, Théorie de la Preuve, Théorie de la ram logique 1er ordre inriac programmation en logique inriac théorie catégorie inriac théorie démonstration inriac Proof theory Beweistheorie (DE-588)4145177-6 gnd
subject_GND	(DE-588)4145177-6
title	Basic proof theory
title_auth	Basic proof theory
title_exact_search	Basic proof theory
title_full	Basic proof theory A.S. Troelstra University of Amsterdam, H. Schwichtenberg University of Munich
title_fullStr	Basic proof theory A.S. Troelstra University of Amsterdam, H. Schwichtenberg University of Munich
title_full_unstemmed	Basic proof theory A.S. Troelstra University of Amsterdam, H. Schwichtenberg University of Munich
title_short	Basic proof theory
title_sort	basic proof theory
topic	Bewijstheorie gtt Logique symbolique et mathématique ram Preuve, Théorie de la Preuve, Théorie de la ram logique 1er ordre inriac programmation en logique inriac théorie catégorie inriac théorie démonstration inriac Proof theory Beweistheorie (DE-588)4145177-6 gnd
topic_facet	Bewijstheorie Logique symbolique et mathématique Preuve, Théorie de la logique 1er ordre programmation en logique théorie catégorie théorie démonstration Proof theory Beweistheorie
url	https://doi.org/10.1017/CBO9781139168717
volume_link	(DE-604)BV000754528
work_keys_str_mv	AT troelstraannes basicprooftheory AT schwichtenberghelmut basicprooftheory

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen