Lectures on the philosophy of mathematics - Waismann, Friedrich 1896-1959 (Studien zur österreichischen Philosophie, 1982)