Laster...

Basic Proof Theory av A. S. (Universiteit van Amsterdam) Troelstra, H. (Universitat Munchen) Schwichtenberg - Nelo