Text this: Metamathematical investigation of intuitionistic arithmetic and analysis /