Logic colloquium '90 : :ASL summer meeting in Helsinki - Vaeaenaenen, J.; Oikkonen, J. (Lecture Notes in Logic /editors:K. Fine,.(et al.), 1993)