handouts/Advanced/Definable Sets/main.tex

% use [nosolutions] flag to hide solutions.
% use [solutions] flag to show solutions.
\documentclass[
	solutions,
	singlenumbering
]{../../resources/ormc_handout}

% for \coloneqq, a centered :=
\usepackage{mathtools}

\begin{document}
	\maketitle
		<Advanced 2>
		<Spring 2023>
		{Definable Sets}
		{
			Prepared by Mark on \today
		}


	\input{parts/0 logic.tex}
	\input{parts/1 structures.tex}
	\input{parts/2 quantifiers.tex}
	\input{parts/3 sets.tex}

\end{document}