New direction in the philosophy of mathematics an anthology (Birkhäuser, 1986)