Verfügbarkeit: Basic proof theory

Basic proof theory:

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Troelstra, Anne S. 1939-2019 (VerfasserIn), Schwichtenberg, Helmut 1942- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cambridge Cambridge University Press [2000]
Ausgabe:	Second edition
Schriftenreihe:	Cambridge tracts in theoretical computer science 43
Schlagworte:	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
Online-Zugang:	BSB01 FHN01 TUM01 TUM02 UBG01 UBM01 UER01 UPA01 Volltext
Beschreibung:	1 Online-Ressource (XII, 417 Seiten)
ISBN:	9781139168717
DOI:	10.1017/CBO9781139168717

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV043545265
003	DE-604
005	20230823
007	cr\|uuu---uuuuu
008	160509s2000 \|\|\|\| o\|\|u\| \|\|\|\|\|\|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
999			\|a oai:aleph.bib-bvb.de:BVB01-028960646
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l BSB01 \|p ZDB-20-CBO \|q BSB_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l FHN01 \|p ZDB-20-CBO \|q FHN_PDA_CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l TUM01 \|p ZDB-20-CBO \|q TUM_Einzelkauf \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l TUM02 \|p ZDB-20-CBO \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l UBG01 \|p ZDB-20-CBO \|q UBG_Einzelkauf \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l UBM01 \|p ZDB-20-CBO \|q UBM_PDA_CBO_Kauf_2023 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l UER01 \|p ZDB-20-CBO \|q UER_Einzelkauf \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1017/CBO9781139168717 \|l UPA01 \|p ZDB-20-CBO \|q UPA_PDA_CBO_Kauf2019 \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804176204901646336
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>03115nmm 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 \|\|\|\| o\|\|u\| \|\|\|\|\|\|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="999" ind1=" " 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">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139168717</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9781139168717</subfield><subfield code="l">TUM01</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">TUM02</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">UBG01</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">UBM01</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">UER01</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">UPA01</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-07-10T07:28:28Z
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
spelling	Troelstra, Anne S. 1939-2019 Verfasser (DE-588)131940058 aut Basic proof theory A.S. Troelstra University of Amsterdam, H. Schwichtenberg University of Munich Second edition Cambridge Cambridge University Press [2000] © 2000 1 Online-Ressource (XII, 417 Seiten) txt rdacontent c rdamedia cr rdacarrier Cambridge tracts in theoretical computer science 43 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 rswk-swf Beweistheorie (DE-588)4145177-6 s DE-604 Schwichtenberg, Helmut 1942- Verfasser (DE-588)1023588242 aut Erscheint auch als Druck-Ausgabe 978-0-521-77911-1 Cambridge tracts in theoretical computer science 43 (DE-604)BV000754528 43 https://doi.org/10.1017/CBO9781139168717 Verlag URL des Erstveröffentlichers Volltext
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

Es ist kein Print-Exemplar vorhanden.

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

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge