Suchergebnisse - Buchholz, Wilfried 1948-

  • Treffer 1 – 1 von 1
Treffer filtern
  1. 1
    Buchumschlag

    Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
    von Buchholz, Wilfried 1948-, Feferman, Solomon 1928-, Pohlers, Wolfram 1943-, Sieg, Wilfried 1945-

    Veröffentlicht 1981
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: