[PPT] - MAP INTERNATIONAL SPRING SCH L ON FORMALIZATION OF MATHEMATICS PowerPoint Presentation