Title: Mathematical investigation of intuitionistic arithmetic and analysis
Subjects: Symbolic and mathematical Logic, Mathematics, Methodology