Intensional Logic Theory and Applications : [proceedings of the 2. Soviet-Finnish Logic Conference, Moscow, December 3-7, 1979