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