Title: Proceedings of the Bertrand Russell Memorial Logic Conference, Uldum, Denmark, 1971