Author: Bertrand Russell Memorial Logic Conference (1971 Uldum, Denmark)