We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent f9f5f9b commit 5f2be19Copy full SHA for 5f2be19
1 file changed
first-order-logic/models-theories/models-theories.tex
@@ -5,7 +5,7 @@
5
6
\begin{document}
7
8
-\chapter{Theories and their models}
+\chapter{Theories and Their Models}
9
10
\olimport{introduction}
11
0 commit comments