Arts, A fourth level course: Verification and meaning (Milton Keynes, 1976)