Scandinavian Logic Symposium. [3e . 1973. Uppsala.].