Untersuchungen der intuitionistischen Algebra