\documentclass[t,compress]{beamer}
\mode<presentation>

%\usepackage{pgfpages}
%\pgfpagelayout{resize}[letterpaper,border shrink=5mm,landscape]

\begin{document}

\begin{frame}[c]
\Large
\textsc{The Calculus of Computation:}\\
Decision Procedures with\\
Applications to Verification

\bigskip
\bigskip
by\\
Aaron Bradley\\
Zohar Manna

\bigskip
\bigskip
Springer 2007
\end{frame}

\begin{frame}
{\Large\textsc{Part I: Foundations}}

\bigskip
\begin{enumerate}
\large
\item Propositional Logic (1)
\item First-Order Logic (2)
\item First-Order Theories (1)
\item Induction (2)
\item Program Correctness: Mechanics (2)
\item Program Correctness: Strategies (1)
\end{enumerate}
\end{frame}

\begin{frame}
{\Large\textsc{Part II: Algorithmic Reasoning}}

\bigskip
\begin{enumerate}
\large
\setcounter{enumi}{6}
\item Quantified Linear Arithmetic (1)
\item Quantifier-Free Linear Arithmetic (2)
\item Quantifier-Free Equality and Data Structures (2)
\item Combining Decision Procedures (1)
\item Arrays (2)
\item Invariant Generation (1)
\end{enumerate}
\end{frame}


\end{document}

