Initiatives in logic (Nijhoff, 1987)