Mechanisation
Philosophy
Logic
General
Threads in the Web of Mathematics
Re-use and Abstraction
Real Numbers
Real Numbers - a logical development
Real Numbers - some history
Computing with reals
History
A Short History of Rigour in Mathematics
Classical Greek Mathematics
Mathematics and the Scientific Revolution
The Formalisation of Mathematics
Formality and Rigour in 20
^{th}
Century Mathematics
©
created 1995/10/29 modified 1998/11/3