Die Ableitungsregeln intuitionistischer Logik.
Slideshow für Tims Low-Rank-Approximation-Demo