Author: Scandinavian Logic Symposium Jyväskylä, Finland 1976.