Computer Science Logic CSL'87