Proceedings of the Third Scandinavian Logic Symposium. / (North-Holland Pub. Co., 1975)