\begin{titlepage}

\begin{center}

\vspace*{10mm}
{\Huge\bf MaGIC} \\[5mm]
{\Large\bf Matrix Generator for Implication Connectives} \\[15mm]
{\Large\bf VERSION 1.1} \\[3mm]
{\Large\bf NOTES AND GUIDE} \\[125mm]
{\bf John Slaney} \\[1mm]
{\bf Gustav Meglicki} \\[5mm]
{\bf Automated Reasoning Project} \\[1mm]
{\bf Australian National University}\end{center}
\end{titlepage}


.