Computer Science Logic CSL'88