Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 - Symposium on Logic in Computer Science; IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing; ACM Special Interest Group for Automata and Computability Theory; Association for Symbolic Logic; European Association for Theoretical Computer Science (IEEE Computer Society Press, 1992)