Zur Deutung der intuitionistischen Logik