Author: Scandinavian Logic Symposium University of Oslo 1970.