The philosophy of mathematics by Gillespie, W. M. Comte, Auguste
 is a Project Gutenberg book, now on Github.