[1988] Proceedings. Third Annual Symposium on Logic in Computer Science