Author: Finland) Scandinavian Logic Symposium (4th : 1976 : Jyväskylä