Mathematical investigation of intuitionistic arithmetic and analysis - Troelstra A S (Berlin Springer-Verlag, 1973)
Keywords: Intuitionistic arithmatic