[2004] Yuri Gurevich and guest authors "Logic in Computer Science" chapter (pages 95--311) in book Current Trends in Theoretical Computer Science: The Challenge of the New Century Volume 2: Formal Models and Semantics eds. G. Paun, G. Rozenberg and A. Salomaa World Scientific, 2004 The chapter consists of articles published in the column on Logic in Computer Science in the Bulletin of European Association for Theoretical Computer Science from the October 2000 issue till the October 2003 issue. [2001] Yuri Gurevich and guest authors "Logic in Computer Science" chapter (pages 233--436) in book Current Trends in Theoretical Computer Science: Entering the 21st Century eds. G. Paun, G. Rozenberg and A. Salomaa World Scientific, 2001 With one exception, the chapter consists of articles published in the column on Logic in Computer Science in the Bulletin of European Association for Theoretical Computer Science from the October 1992 issue till the February 2000 issue. The exception is the banquet talk published in the Bulletin outside the column. [1995] Specification and Validation Methods ed. E. Boerger, Oxford University Press, 1995 [1993] Yuri Gurevich and guest authors "Logic in Computer Science" chapter (pages 223--394) in book Current Trends in Theoretical Computer Science: Essays and Tutorials eds. G. Rozenberg and A. Salomaa World Scientific, 1993 With one exception, the chapter consists of the articles published in the column on Logic in Computer Science in the Bulletin of European Association for Theoretical Computer Science from the inception of the column in 1988 till the June 1992 issue. The exception is an updated version of the evolving algebra tutorial published in the Bulletin outside the column.