Computer Science Logic CSL'89