%!TEX root = proofs+concepts.tex

\thispagestyle{empty}%
%{\Huge{\tt If \model{P}, then \model{Q}}}\\
%{\Huge\tt \script{P}s \& \script{Q}s}

%\setcounter{page}{0}
\renewcommand{\thepage}{\roman{page}}

\begin{center}

\hbox{ }
\vfil
\sf

%\vbox to 0pt{\bf
%\vskip-1.5in
%WARNING: This is an old version. 
%\\ The textbook will be revised for Spring 2025.
%\vss}

\font\titlefont=cmssbx12 at 72pt %% use large font for the title
\font\titleandfont=cmssbx12 at 48pt %% use large font for the title

{\titlefont % Proofs and Concepts
{P\kern-3pt r\kern-1pt o\kern-1pt o\kern-1pt f\kern-0.5pt s
\\ [6pt]
\titleandfont a\kern-1pt n\kern-1pt d
\\[-3pt]
\titlefont C\kern-3pt o\kern-1pt n\kern-1pt c\kern-1.5pt e\kern-1pt p\kern-1.5pt t\kern-0.5pt s%
} 
\\[10pt]}
{\LARGE the fundamentals of abstract mathematics\hskip-3pt}


\vfil


{by 
\\[10pt]  
\Large Dave Witte Morris and Joy Morris}
\\[3pt]
\emph{University of Lethbridge}

\vfil

{\large incorporating material by %% can we come up with better phrasing !!!
\\[10pt]
{\Large P.\,D.~Magnus}
\\[3pt]
\emph{University at Albany, State University of New York}
}

\vfil

{Preliminary Version 0.95%
\iftwocolumn $\ell$ % (landscape)
\else \   % (portrait)
\fi
of January 2025} %  !!!


\vfil


{\sf
%	fecundity.com/logic, version 1.1 [\bookversion]\\
	This book is offered under a Creative Commons license.\\
	(Attribution-NonCommercial-ShareAlike 2.0)
}
\end{center}

\eject
\thispagestyle{empty}%



\hbox{ }

\vfill

\begin{center}

The presentation of Logic in this textbook is adapted from
\medskip
\boxit{\hskip-0.75in\vbox{
{\LARGE\forallx}
\\
{\tt An Introduction to Formal Logic}\\
\medskip
{\large
{\sf P.\,D. Magnus}\\
\emph{University at Albany, State University of New York}\\
}
\medskip
The most recent version of \forallx\ is available on-line at \\
\url{http://www.fecundity.com/logic}
}\hskip-0.75in}
\par\medskip
{\it
We thank Professor Magnus for making \forallx\ freely available,
\\ and for authorizing derivative works such as this one.
\\
He was not involved in the preparation of this manuscript, \\
so he is not responsible for any errors or other shortcomings.
}

\vfill

Please send comments and corrections to:\\
{\sf dmorris@deductivepress.ca} % \qquad or \qquad {\sf Joy.Morris@uleth.ca}
\end{center}

\vfill\noindent
{\small\copyright\ 2006--2016, 2023, 2025 by Dave Witte Morris and Joy Morris.  
 Some rights reserved.\\
Portions \copyright\ 2005--2006 by P.\,D.\,Magnus. Some rights reserved.
\\ Brief excerpts are quoted (with attribution) from copyrighted works of various authors.
}

\medskip

{\small\noindent
You are free to copy this book, to distribute it, to display it, and to make derivative works, under the following conditions: (1) Attribution. You must give the original author credit. (2) Noncommercial. You may not use this work for commercial purposes. (3) Share Alike. If you alter, transform, or build upon this work, you may distribute the resulting work only under a license identical to this one. --- For any reuse or distribution, you must make clear to others the license terms of this work. Any of these conditions can be waived if you get permission from the copyright holder. Your fair use and other rights are in no way affected by the above. --- This is a human-readable summary of the full license, which is available on-line at
 \mbox{\url{http://creativecommons.org/licenses/by-nc-sa/2.0/legalcode}}
}

\cleardoublepage


\thispagestyle{empty}

\input preface

\newpage

\thispagestyle{empty}

\hbox{ }

\vfil \vskip-2in

\begin{center}

\Huge

\itshape
to Harmony

\end{center}

\vfil\eject

\cleardoublepage

%\iftwocolumn %% put blank page (2 blank columns) after the title page
%\thispagestyle{empty}
%\hbox{ }  \newpage
%\thispagestyle{empty}
%\hbox{ }  \newpage
%\fi

\setcounter{page}{1}

\tableofcontents

\cleardoublepage

\setcounter{page}{1}
\renewcommand{\thepage}{\arabic{page}}
