Holdings: Proof theory :: THWS Bibkatalog

Proof theory:

Saved in:

Bibliographic Details
Main Author:	Jervell, Herman Ruge 1945- (Author)
Format:	Book
Language:	English
Published:	Berlin Logos Verlag [2012]
Series:	Compact companion 3
Subjects:	Beweistheorie
Online Access:	Inhaltsverzeichnis Inhaltstext Inhaltsverzeichnis
Physical Description:	vi, 121 Seiten Illustrationen, Diagramme 21 cm
ISBN:	9783832533038 3832533036

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV048284489
003	DE-604
005	20220622
007	t
008	220613s2012 a\|\|\| \|\|\|\| 00\|\|\| eng d
015			\|a 13,N04 \|2 dnb
015			\|a 13,A17 \|2 dnb
016	7		\|a 1029682038 \|2 DE-101
020			\|a 9783832533038 \|c kart. : EUR 19.80 (DE), EUR 20.40 (AT), sfr 28.50 (freier Pr.) \|9 978-3-8325-3303-8
020			\|a 3832533036 \|9 3832533036
035			\|a (OCoLC)840914030
035			\|a (DE-599)DNB1029682038
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91G
082	0		\|a 511.36 \|2 22/ger
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a 510 \|2 sdnb
084			\|a MAT 036 \|2 stub
100	1		\|a Jervell, Herman Ruge \|d 1945- \|e Verfasser \|0 (DE-588)1021316326 \|4 aut
245	1	0	\|a Proof theory \|c Herman Ruge Jervell
264		1	\|a Berlin \|b Logos Verlag \|c [2012]
300			\|a vi, 121 Seiten \|b Illustrationen, Diagramme \|c 21 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Compact companion \|v 3
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
830		0	\|a Compact companion \|v 3 \|w (DE-604)BV048293984 \|9 3
856	4	2	\|m B:DE-101 \|q application/pdf \|u http://d-nb.info/1029682038/04 \|3 Inhaltsverzeichnis
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4229821&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033664629&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-033664629

Record in the Search Index

_version_	1806414727587299328
adam_text	CONTENTS CONTENTS I 1 DIRECT ARGUMENTS 1 1.1 AUXILIARY CONSTRUCTIONS 1 1.2 SEQUENT CALCULUS 2 1.3 CUT ELIMINATION 5 1.4 E-CALCULUS 12 1.5 OTHER SYSTEMS 13 1.6 INFINITARY PROOFS 16 2 GENTZEN GAMES 19 2.1 GENTZEN TREES 19 2.2 SYNTACTIC MOVES 20 2.3 STRONG TERMINATION 29 3 ORDINALS 31 3.1 WELL ORDERINGS 31 3.2 ARITHMETICAL OPERATIONS 32 3.3 DELAYED DECISIONS 34 4 TRANSFINITE INDUCTION 37 4.1 TRANSFINITE INDUCTION 37 4.2 ORDINAL BOUNDS 41 4.3 BOUNDS FOR PROVABLE TRANSFINITE INDUCTION . 45 4.4 ARITHMETICAL SYSTEMS 47 I HTTP://D-NB.INFO/1029682038 CONTENTS 5 QUANTIFIERS 49 5.1 SKOLEM AND QUANTIFIERS 49 5.2 GODELS INTERPRETATION 52 5.3 THE PROOF 55 5.4 DISCUSSION 60 5.5 SPECTORS INTERPRETATION 63 5.6 E-CALCULUS 67 6 FINITE TREES 71 6.1 ORDERING TREES 71 6.2 DECIDING THE ORDERING 74 6.3 EMBEDDINGS 75 6.4 SOME CALCULATIONS 77 7 , CONSTRUCTING TREES 81 7.1 BUILDING UP FROM BELOW 81 7.2 NORMAL FUNCTIONS AND ORDINAL NOTATIONS 87 7.3 FURTHER CALCULATIONS 90 7.4 PROOF OF WELLORDERING 95 8 COMBINATORICS 99 8.1 RAMSEYS THEOREM 99 8.2 KRUSKALS THEOREM 101 8.3 LINEARIZATION 105 8.4 TRANSFINITE INDUCTION 108 9 LABELED TREES 111 9.1 EXTENDING FINITE TREES ILL 9.2 WELL ORDERING OF FINITE LABELED TREES 116
adam_txt	CONTENTS CONTENTS I 1 DIRECT ARGUMENTS 1 1.1 AUXILIARY CONSTRUCTIONS 1 1.2 SEQUENT CALCULUS 2 1.3 CUT ELIMINATION 5 1.4 E-CALCULUS 12 1.5 OTHER SYSTEMS 13 1.6 INFINITARY PROOFS 16 2 GENTZEN GAMES 19 2.1 GENTZEN TREES 19 2.2 SYNTACTIC MOVES 20 2.3 STRONG TERMINATION 29 3 ORDINALS 31 3.1 WELL ORDERINGS 31 3.2 ARITHMETICAL OPERATIONS 32 3.3 DELAYED DECISIONS 34 4 TRANSFINITE INDUCTION 37 4.1 TRANSFINITE INDUCTION 37 4.2 ORDINAL BOUNDS 41 4.3 BOUNDS FOR PROVABLE TRANSFINITE INDUCTION . 45 4.4 ARITHMETICAL SYSTEMS 47 I HTTP://D-NB.INFO/1029682038 CONTENTS 5 QUANTIFIERS 49 5.1 SKOLEM AND QUANTIFIERS 49 5.2 GODELS INTERPRETATION 52 5.3 THE PROOF 55 5.4 DISCUSSION 60 5.5 SPECTORS INTERPRETATION 63 5.6 E-CALCULUS 67 6 FINITE TREES 71 6.1 ORDERING TREES 71 6.2 DECIDING THE ORDERING 74 6.3 EMBEDDINGS 75 6.4 SOME CALCULATIONS 77 7 , CONSTRUCTING TREES 81 7.1 BUILDING UP FROM BELOW 81 7.2 NORMAL FUNCTIONS AND ORDINAL NOTATIONS 87 7.3 FURTHER CALCULATIONS 90 7.4 PROOF OF WELLORDERING 95 8 COMBINATORICS 99 8.1 RAMSEYS THEOREM 99 8.2 KRUSKALS THEOREM 101 8.3 LINEARIZATION 105 8.4 TRANSFINITE INDUCTION 108 9 LABELED TREES 111 9.1 EXTENDING FINITE TREES ILL 9.2 WELL ORDERING OF FINITE LABELED TREES 116
any_adam_object	1
any_adam_object_boolean	1
author	Jervell, Herman Ruge 1945-
author_GND	(DE-588)1021316326
author_facet	Jervell, Herman Ruge 1945-
author_role	aut
author_sort	Jervell, Herman Ruge 1945-
author_variant	h r j hr hrj
building	Verbundindex
bvnumber	BV048284489
classification_rvk	SK 130
classification_tum	MAT 036
ctrlnum	(OCoLC)840914030 (DE-599)DNB1029682038
dewey-full	511.36
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.36
dewey-search	511.36
dewey-sort	3511.36
dewey-tens	510 - Mathematics
discipline	Mathematik
discipline_str_mv	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV048284489</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220622</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">220613s2012 a\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,N04</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,A17</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1029682038</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832533038</subfield><subfield code="c">kart. : EUR 19.80 (DE), EUR 20.40 (AT), sfr 28.50 (freier Pr.)</subfield><subfield code="9">978-3-8325-3303-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3832533036</subfield><subfield code="9">3832533036</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)840914030</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1029682038</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-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.36</subfield><subfield code="2">22/ger</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">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 036</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jervell, Herman Ruge</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1021316326</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof theory</subfield><subfield code="c">Herman Ruge Jervell</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos Verlag</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vi, 121 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield><subfield code="c">21 cm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Compact companion</subfield><subfield code="v">3</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="830" ind1=" " ind2="0"><subfield code="a">Compact companion</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV048293984</subfield><subfield code="9">3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">B:DE-101</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://d-nb.info/1029682038/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4229821&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033664629&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033664629</subfield></datafield></record></collection>
id	DE-604.BV048284489
illustrated	Illustrated
index_date	2024-07-03T20:01:29Z
indexdate	2024-08-04T00:28:50Z
institution	BVB
isbn	9783832533038 3832533036
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033664629
oclc_num	840914030
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	vi, 121 Seiten Illustrationen, Diagramme 21 cm
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Logos Verlag
record_format	marc
series	Compact companion
series2	Compact companion
spelling	Jervell, Herman Ruge 1945- Verfasser (DE-588)1021316326 aut Proof theory Herman Ruge Jervell Berlin Logos Verlag [2012] vi, 121 Seiten Illustrationen, Diagramme 21 cm txt rdacontent n rdamedia nc rdacarrier Compact companion 3 Beweistheorie (DE-588)4145177-6 gnd rswk-swf Beweistheorie (DE-588)4145177-6 s DE-604 Compact companion 3 (DE-604)BV048293984 3 B:DE-101 application/pdf http://d-nb.info/1029682038/04 Inhaltsverzeichnis X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4229821&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033664629&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Jervell, Herman Ruge 1945- Proof theory Compact companion Beweistheorie (DE-588)4145177-6 gnd
subject_GND	(DE-588)4145177-6
title	Proof theory
title_auth	Proof theory
title_exact_search	Proof theory
title_exact_search_txtP	Proof theory
title_full	Proof theory Herman Ruge Jervell
title_fullStr	Proof theory Herman Ruge Jervell
title_full_unstemmed	Proof theory Herman Ruge Jervell
title_short	Proof theory
title_sort	proof theory
topic	Beweistheorie (DE-588)4145177-6 gnd
topic_facet	Beweistheorie
url	http://d-nb.info/1029682038/04 http://deposit.dnb.de/cgi-bin/dokserv?id=4229821&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033664629&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV048293984
work_keys_str_mv	AT jervellhermanruge prooftheory

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes
Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items