Eine epistemische Interpretation der intuitionistischen Logik - Legris, Javier (Königshausen u. Neumann, 1990)