Merge pull request #932 from OliveiraHermogenes/patch-1

small grammar correction (between vs. among)

logic.tex

@@ -105,7 +105,7 @@ \section{Sets and \texorpdfstring{$n$}{n}-types}
 \end{defn}
 
 Similarly, we can define $2$-types, $3$-types, and so on.
-We will define the general notion of $n$-type inductively in \cref{cha:hlevels}, and study the relationships between them.
+We will define the general notion of $n$-type inductively in \cref{cha:hlevels}, and study the relationships between $n$-types for different values of $n$.
 
 However, for now it is useful to have two facts in mind.
 First, the levels are upward-closed: if $A$ is an $n$-type then $A$ is an $(n+1)$-type.