Metamathematical investigation of intuitionistic arithmetic and analysis - Troelstra, A. S. (Anne Sjerp) (Springer, 1973)