[FOM] New book on proof theory

[Prof. Dr. Wolfram Pohlers]

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