%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The following file is the LaTeX source file for a beamer presentation.
% See the beamer user guide for more information, available through
% https://sourceforge.net/projects/latex-beamer/
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\documentclass{beamer}

\usetheme[height=20pt]{Madrid}

\usepackage[english]{babel}

\usepackage{times}
\usepackage[T1]{fontenc}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newtheorem{thm}{Theorem}[section]
\newtheorem{rmk}[thm]{Remark}

\title[Example]
      {A Slides Example}

\author[KG]
       {Kurt G\"odel}


%\pgfdeclareimage[height=2cm]{uwlogo}{uwlogo}
%\institute[UW - Madison]{\includegraphics[height=4cm]{uwlogo}}

\institute[Princeton]{Princeton University}

\date[GPSLogic - Today]
     {Graduate Participation Seminar in Logic \\ Today}

\subject{}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{frame}
  \titlepage
\end{frame}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{frame}
       \frametitle{Outline}
       \tableofcontents
\end{frame}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{A Section...}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{frame}
  \frametitle{A First Slide}

  \begin{rmk}
    Kurt Friedrich G\"odel was born on 28 April 1906.
  \end{rmk}
  
  \pause
  
  \begin{rmk}
    Kurt Friedrich G\"odel dies on 14 January 1978.
  \end{rmk}

\end{frame}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{frame}
  \frametitle{A Second Slide}

  \begin{thm}
    ``Every valid formula of the restricted functional calculus is
    provable.''\footnote{[G], p. 103.}
  \end{thm}

\end{frame}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Another Section...}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{frame}
  \frametitle{And a Third Slide}

  With just plain text.

  \pause

  And more plain text.

  \pause

  And even more plain text.

\end{frame}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section*{Bibliography}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{frame}
  \frametitle{Bibliography}
    
  \begin{thebibliography}{10}
    

  \bibitem{Fein1970} 
    G\"odel, Kurt.  
    \newblock {\em Collected Works, Volume 1}.
    \newblock Prepared under the auspices of the Association for
      Symbolic Logic.  1986.

  \end{thebibliography}
\end{frame}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\end{document}