\documentclass{book}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{unicode-math}
\usepackage{graphicx}
%\usepackage{tikz}
%\usepackage{biblatex}

\newtheorem{theorem}{Theorem}[chapter]
\newtheorem{lemma}[theorem]{Lemma}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{xca}[theorem]{Exercise}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}

\numberwithin{section}{chapter}
\numberwithin{equation}{chapter}

\makeindex

\begin{document}

\frontmatter

\title{Mathematical Logic}

\author{Zac Zerafa}
%\thanks{}

%\subjclass[1500]{Primary }

%\keywords{}

%\date{\today}

\maketitle

\setcounter{page}{4}

\tableofcontents

%	Prefaces, acknowledgements, etc.
\include{}

\mainmatter
%	Chapters
\include{mathematical-logic-1-propositional-logic}
\include{mathematical-logic-2-first-order-logic}
\include{mathematical-logic-3-proof-theory}
\include{mathematical-logic-4-model-theory}
\include{mathematical-logic-5-algebraic-logic}

\appendix
%	Appendix chapters
\include{}

\backmatter
%    Bibliography styles amsplain or harvard are also acceptable.
\bibliographystyle{amsalpha}
\bibliography{}
%    See note above about multiple indexes.
\printindex

\end{document}