Skip to contents

  1. Buchholz, Wilfried [Author] ; Feferman, Solomon [Other]; Pohlers, Wolfram [Other]; Sieg, Wilfried [Other]

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

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1981

    Published in: Lecture notes in mathematics ; 897

  2. Pohlers, Wolfram

    Proof Theory

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 1989

    Published in: Lecture Notes in Mathematics (1989)