https://bookem.ir/books/1902320-Proof-Theory-the-First-Step-into-Impredicativity