Troelstra: Metamathematical investigations of intuitionistic arithmetic and analysis (1973)