Mathematical intuition : phenomenology and mathematical knowledge / Richard L. TieszenPhänomenologie der Mathematik : Elemente einer phänomenologischen Aufklärung der mathematischen Erkenntnis nach Husserl / Dieter LohmarBrouwer's intuitionism / Walter P. van StigtHermann Weyl's intuitionistic mathematics / D. van DalenProof methods for modal and intuitionistic logics / Melvin FittingLogical semiotics and mereology / Richard M. Martin