Logic Colloquium '90 : - Oikkonen, J. (Juha), 1951-; Vaananen, J. (Jouko), 1950- (Lecture notes in logic ;, 1993)