Logic Colloquium '90 : proceedings of the Colloquium held in Helsinki, Finland, July 15-22, 1990 / - Oikkonen, J.; Vaananen, J. (Springer-Verlag, 1993)