Constructive Mathematics by Frichman-