" Essays on Mathematical and Philosophical Logic Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-finnish Logic Conference, Jyvs̃kyl, ̃ Finland, June 29-july 6, 1976. " Hintikka, Jaakko