forallx-d-frontmatter.tex

%!TEX root = forallxyyc.tex

% Bastard Title

\pagestyle{empty}

\vspace*{80pt}

\begin{raggedleft}
\fontsize{30pt}{24pt}\sffamily
\selectfont
  \textbf{forall 
  {\fontsize{37pt}{24pt}\selectfont\rmfamily\textit{x}}: 
  $R^3$}

\medskip\fontsize{18pt}{20pt}\selectfont

\textbf{A Remixed, Revised, and Reimagined\\Introduction to\\ Formal Logic}

\vfill
\fontsize{12pt}{16pt}\selectfont \textit{By }  \textbf{Davis A. Smith}\\
     \textit{built off of the related works by}\\
      \textbf{P.~D. Magnus}\\
      \textbf{Tim Button}\\
%      \textit{with additions by}\\
      \textbf{J.~Robert Loftis}\\
      \textbf{Robert Trueman}\\
      \textbf{Aaron Thomas-Bolduc}\\
      \textbf{Richard Zach}\par


\vfill
\textbf{\forallxversion}\par
\end{raggedleft}


\newpage


\noindent\small%
\forallx: \emph{$R^3$} by Davis A. Smith is a revision and expansion of \href{https://forallx.openlogicproject.org/}{\forallx: \emph{Calgary}}, 
by Aaron Thomas-Bolduc and Richard Zach, used under a 
\href{https://creativecommons.org/licenses/by/4.0/}{CC BY 4.0} license, which was based on
\href{https://www.homepages.ucl.ac.uk/~uctytbu/OERs.html}{\forallx:
\emph{Cambridge}}, by 
\href{https://www.homepages.ucl.ac.uk/~uctytbu/}{Tim Button} (University College London), 
used under a \href{https://creativecommons.org/licenses/by/4.0/}{CC BY
4.0} license, which was based, in turn,
on \href{https://www.fecundity.com/logic/}{\forallx}, by
\href{https://www.fecundity.com/job/}{P.D.\ Magnus} 
(University at Albany, State University of New York),
used under a \href{https://creativecommons.org/licenses/by/4.0/}{CC BY
4.0} license.
It includes additional material from \forallx{} by P.D. Magnus and
\href{https://www.homepages.ucl.ac.uk/~uctytbu/OERs.html}{\emph{Metatheory}} by Tim Button, 
used under a \href{https://creativecommons.org/licenses/by/4.0/}{CC BY
4.0} license, and 
from \href{https://github.com/rob-helpy-chalk/openintroduction}{\forallx: \emph{Lorain
County Remix}},
by \href{https://sites.google.com/site/cathalwoods/}{Cathal Woods} and
J. Robert Loftis as well as original material by Davis A. Smith. Biographies for Alan Turing, Bertrand Russell, and Kurt G\"{o}del were provided by \href{https://builds.openlogicproject.org/}{The Open Logic Project} and used under a \href{https://creativecommons.org/licenses/by/4.0/}{CC BY 4.0} license. The biography for William of Ockham was provided by \href{https://sites.google.com/view/andrewjefferyswebpage}{Andrew Jeffery} and used with his permission. The image used in the biography of William of Ockham was taken by \href{https://www.geograph.org.uk/profile/9419}{John Salmon} and used under a \href{https://creativecommons.org/licenses/by-sa/2.0/}{CC BY 2.0} license. 

\noindent Cover design by Mark Lyall.

\bigskip
\subsubsection{Copyright Status}

This work is licensed under a \href{https://creativecommons.org/licenses/by/4.0/}{Creative Commons Attribution 4.0} license.
You are free to copy and redistribute the material in any medium or format, and  remix, transform, and build upon the material for any purpose, even commercially, under the following terms:
\begin{itemize}
\item You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
\item You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.
\end{itemize}

\subsubsection{Funding}

The production of this work was made possible by Professional Development funds provided by \href{https://www.pierce.ctc.edu/elad}{Pierce College's Employee Learning and Development (ELAD)}. 


\includegraphics{marcom-PierceCollege-Logo.png}
\bigskip