Grigorii E. Mints

• Selected Papers in Proof Theory (Studies in Proof Theory, Vol 3)