Mathematical Philosophy for
Formal Analysis
Overview
Logicism
Formalism
Constructivism
Lakatos
New Math
New Tools
©
created 1997/12/29
modified 1998/06/21