2/8
\begin{frame}
  \frametitle{Course Book}
  
  \begin{center}
  \includegraphics[width=3cm]{../book.jpg}\\[2ex]
  \emph{Logic in Computer Science}\\
  by Michael Huth and Mark Ryan\\[1ex]
  Cambridge University Press,\\ Second Edition, 2004
  \end{center}
%   
%   \pause
%   \begin{alertgoal}{}
%     You are expected to \emph{prepare every lecture by reading the book chapters!}
%     See the course website for pointers.
%   \end{alertgoal}      
\end{frame}