Leram - Ibn al-Haytham's Geometrical Methods and the Philosophy of Mathematics: A History of Arabic Sciences and Mathematics Volume 5