A S. Troelstra

• Metamathematical investigation of intuitionistic arithmetic and analysis