add incompleteness intro to sample textbook

OpenLogicProject · Aug 29, 2024 · 4772e75 · 4772e75
1 parent e5563ad
commit 4772e75
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/courses/sample/open-logic-sample.tex b/courses/sample/open-logic-sample.tex
@@ -148,6 +148,8 @@ \chapter{Natural Deduction}
 
 \part{Computability and Incompleteness}
 
+\olimport*[incompleteness/introduction]{introduction}
+
 % include intro to recursive function from computability part
 
 \olimport*[computability/recursive-functions]{recursive-functions}