[PPT] - Logik f ur Informatiker Logic for computer scientists The logic of PowerPoint Presentation