Logic in Computer Science

Yuri Gurevich. Logic in Computer Science. In Grzegorz Rozenberg, Arto Salomaa, editors, Current Trends in Theoretical Computer Science - Essays and Tutorials. Volume 40 of World Scientific Series in Computer Science, pages 223-224, World Scientific, 1993. [doi]

Authors

Yuri Gurevich

This author has not been identified. It may be one of the following persons: Look up 'Yuri Gurevich' in Google