Lectures on the philosophy of mathematics / Friedrich Waismann. Amsterdam : Rodopi, 1982