-
Notifications
You must be signed in to change notification settings - Fork 10
/
Copy pathslc.tex
107 lines (69 loc) · 2.13 KB
/
slc.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
% slc.tex
%
% driver file slc.tex to produce text
\preto\OLEndChapterHook{\IfFileExists{include/summary-\thechapter}
{\section*{Summary}\addcontentsline{toc}{section}{Summary}
\let\emph\textbf\input{include/summary-\thechapter}\let\emph\textit}{}}
\problemsperchapter
\frontmatter
\OLPfrontmatter
\cleartoverso
\thispagestyle{empty}
\ \vfill
\noindent\includegraphics[width=\textwidth]{illustrations/SkolemChapter}
\vfill
\input{include/preface}
\cleartoverso
\thispagestyle{empty}
\ \vfill
\noindent\includegraphics[width=\textwidth]{illustrations/CantorChapter}
\vfill
\mainmatter
\olimport*[sets-functions-relations]{sets-functions-relations}
\cleartoverso
\ifodd\value{page}\stepcounter{page}\fi
\thispagestyle{empty}
\ \vfill
\noindent\includegraphics[width=\textwidth]{illustrations/GodelChapter}
\vfill
\olimport*[first-order-logic]{first-order-logic}
\cleartoverso
\ifodd\value{page}\stepcounter{page}\fi
\thispagestyle{empty}
\ \vfill
\noindent\includegraphics[width=\textwidth]{illustrations/TuringChapter}
\vfill
\olimport*[turing-machines]{turing-machines}
% appendices
\cleartoverso
\ifodd\value{page}\stepcounter{page}\fi
\thispagestyle{empty}
\ \vfill
\noindent\includegraphics[width=\textwidth]{illustrations/NoetherChapter}
\vfill
\appendix
\olimport*[methods/proofs]{proofs}
\olimport*[methods/induction]{induction}
\stopproblems
\def\ifproblems#1{}
\def\figurename{Fig.}
\setlength{\olphotowidth}{.45\textwidth}
\chapter{Biographies}
\olimport*[history/biographies]{georg-cantor}
\olimport*[history/biographies]{alonzo-church}
\olimport*[history/biographies]{gerhard-gentzen}
\olimport*[history/biographies]{kurt-goedel}
\olimport*[history/biographies]{emmy-noether}
\olimport*[history/biographies]{bertrand-russell}
\olimport*[history/biographies]{alfred-tarski}
\olimport*[history/biographies]{alan-turing}
\olimport*[history/biographies]{ernst-zermelo}
\olimport*[reference/greek-alphabet]{greek-alphabet}
%\backmatter
\glsaddall
\printglossaries
\clearpage
\photocredits
\bibliographystyle{\olpath/bib/natbib-oup}
\bibliography{\olpath/bib/open-logic.bib}
\olimport*{\olpath/content/open-logic-about}