[1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science