Studies in the history and philosophy of mathematics (Elsevier, 1990)