KOBV Portal

Hits per page

hits 1 - 8 | 8 hits

Sorting

Online Resource

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (1981)

Buchholz, Wilfried. ; Feferman, Solomon. ; Pohlers, Wolfram. ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almahu_9947921456502882

Format: VIII, 384 p. , online resource.

ISBN: 9783540386490

Series Statement: Lecture Notes in Mathematics, 897

Note: Inductive definitions and subsystems of analysis -- Proof theoretic equivalences between classical and constructive theories for analysis -- Inductive definitions, constructive ordinals, and normal derivations -- The ??+1-Rule -- Ordinal analysis of ID? -- Proof-theoretical analysis of ID? by the method of local predicativity.

In: Springer eBooks

Additional Edition: Printed edition: ISBN 9783540111702

Language: English

Subjects: Mathematics

RVK:

SI 850

Keywords: Konferenzschrift

DOI: 10.1007/BFb0091894

URL: http://dx.doi.org/10.1007/BFb0091894

URL: Volltext

URL: Volltext (lizenzpflichtig)

URL: Volltext (Deutschlandweit zugänglich)

URL: Cover

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

Stabi Berlin

HU Berlin

UB Potsdam

EUV Frankfurt

HTW Berlin

TH Wildau

BTU Cottbus

Book

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies (1981)

Buchholz, Wilfried 1948- ; Feferman, Solomon, 1928- ; Pohlers, Wolfram, 1943- ; [et al.]

Berlin ; Heidelberg ; New York :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV002265079

Format: v, 383 Seiten.

ISBN: 3-540-11170-0 , 0-387-11170-0

Series Statement: Lecture notes in mathematics 897

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-540-11170-2

Language: English

Subjects: Mathematics

RVK:

SI 850

Keywords: Beweistheorie ; Induktive Definition ; Beweistheorie ; Konferenzschrift ; Konferenzschrift

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001488474&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

Author information: Sieg, Wilfried, 1945-

Author information: Buchholz, Wilfried 1948-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

FU Berlin

Book

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies (1981)

Buchholz, Wilfried [Mitarb.] 1948- ; Feferman, Solomon [Hrsg.] 1928-

Berlin : Springer

add to watchlist on the watchlist

Details

UID:

gbv_024232785

Format: V, 383 S. , graph. Darst

ISBN: 3540111700 , 0387111700

Series Statement: Lecture notes in mathematics 897

Note: Literaturverz. S. 358 - 368

Additional Edition: Online-Ausg. Buchholz, Wilfried Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Berlin, Heidelberg : Springer Berlin Heidelberg, 1981 ISBN 9783540386490

Additional Edition: ISBN 9783540111702

Language: English

Subjects: Mathematics

RVK:

SI 850

Keywords: Beweistheorie ; Induktive Definition ; Beweistheorie

URL: Cover

URL: Inhaltsverzeichnis

Author information: Buchholz, Wilfried 1948-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

Book

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies (1981)

Buchholz, Wilfried 1948- ; Feferman, Solomon 1928- ; Pohlers, Wolfram 1943- ; [et al.]

Berlin ; Heidelberg ; New York : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV002265079

Format: v, 383 Seiten

ISBN: 3540111700 , 0387111700

Series Statement: Lecture notes in mathematics 897

Additional Edition: Erscheint auch als Online-Ausgabe ISBN 978-3-540-11170-2

Language: English

Subjects: Mathematics

RVK:

SI 850

Keywords: Beweistheorie ; Induktive Definition ; Beweistheorie ; Konferenzschrift

URL: Inhaltsverzeichnis

Author information: Sieg, Wilfried 1945-

Author information: Buchholz, Wilfried 1948-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

TU Berlin

Book

Iterated inductive definitions and subsystems of analysis : Wilfried Buchholz [u.a.] ; Recent proof-theoretical studies (1981)

Buchholz, Wilfried

Berlin, Heidelberg [usw.] : Springer

add to watchlist on the watchlist

Details

UID:

gbv_439350247

Format: V, 383 S. 8"

ISBN: 3540111700 , 0387111700

Series Statement: (Lecture notes in mathematics 897)

Language: Undetermined

URL: Inhaltsverzeichnis

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

Online Resource

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (1981)

Buchholz, W. ; Feferman, S. ; Pohlers, W. ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edocfu_9959185984802883

Format: 1 online resource (VIII, 384 p.)

Edition: 1st ed. 1981.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-38649-1

Series Statement: Lecture Notes in Mathematics, 897

Note: Bibliographic Level Mode of Issuance: Monograph , Inductive definitions and subsystems of analysis -- Proof theoretic equivalences between classical and constructive theories for analysis -- Inductive definitions, constructive ordinals, and normal derivations -- The ??+1-Rule -- Ordinal analysis of ID? -- Proof-theoretical analysis of ID? by the method of local predicativity. , English

In: Springer eBooks

Additional Edition: ISBN 3-540-11170-0

Language: English

DOI: 10.1007/BFb0091894

URL: http://dx.doi.org/10.1007/BFb0091894

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

FU Berlin

Online Resource

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (1981)

Buchholz, W. ; Feferman, S. ; Pohlers, W. ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

edoccha_9959185984802883

Format: 1 online resource (VIII, 384 p.)

Edition: 1st ed. 1981.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-38649-1

Series Statement: Lecture Notes in Mathematics, 897

In: Springer eBooks

Additional Edition: ISBN 3-540-11170-0

Language: English

DOI: 10.1007/BFb0091894

URL: http://dx.doi.org/10.1007/BFb0091894

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

Charité

Online Resource

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (1981)

Buchholz, W. ; Feferman, S. ; Pohlers, W. ; [et al.]

Berlin, Heidelberg :Springer Berlin Heidelberg :

add to watchlist on the watchlist

Details

UID:

almafu_9959185984802883

Format: 1 online resource (VIII, 384 p.)

Edition: 1st ed. 1981.

Edition: Online edition Springer Lecture Notes Archive ; 041142-5

ISBN: 3-540-38649-1

Series Statement: Lecture Notes in Mathematics, 897

In: Springer eBooks

Additional Edition: ISBN 3-540-11170-0

Language: English

DOI: 10.1007/BFb0091894

URL: http://dx.doi.org/10.1007/BFb0091894

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

hits 1 - 8 | 8 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 9783440118702?

Did you mean 9783540111092?

Did you mean 9783403111702?

Kooperativer Bibliotheksverbund

Berlin Brandenburg