Author: Scandinavian Logic Symposium 1st Turku, Finland 1968.