Author: Scandinavian Logic Symposium University of Uppsala 1973.