Proceedings / Tenth Annual IEEE Symposium on Logic in Computer Science : June 26 - 29, 1995, San Diego, California - Kozen, Dexter (Hrsg.); Symposium on Logic in Computer Science (10 : 1995 : San Diego, Calif.); IEEE Computer Society (IEEE Computer Society Press, 1995)