New book: Wolfram Pohlers, "Proof Theory: The first step into impredicativity"
Dear all,
I would like to announce that my book "Proof Theory: The first step
into impredicativity" is now available. It is published by Springer in
the Universitext series. The ISBN number is 978-3-540-69318-5.
Wolfram Pohlers