Six papers in logic (1987)